MHB Solving Your Problem: Troubleshooting Mistakes in Code

[shivajikobardan]

https://lh6.googleusercontent.com/gIpHfdMTJMBg2-cMkBWqVQYyAUKTwBCzc30JXJ054wfj06IBGeeXFdHd1-VO0J6EFrssOlAe3ntqJaVHSakLZAK8x4BI6pRL5Lb0JWUdDEuaxAm4NPAiUMvtOSLqjrOkH8r0VOv7

https://lh3.googleusercontent.com/HharKN7rVu5NqPPR9lnd4nHr1fASlCPYNvc7zkLqrhrXMRJQVI_fgsL2Vu-Zgls2ycL8QUgF6IRNIAENcyw9E5KslY-UvkOma_dT__Mcozf_dQ66aLWPvxX58qhEq37H96KUUg6F

https://lh4.googleusercontent.com/_zbkQuNFRy7N3B_u0Oz1ESBh19xov4y98iWyeWuy6-m9He33SWC3BGEnYSDjii8r-_1zmiUKeakvLZSq1dBjQ4JZugG6Z6_TLd4u0_WjGUXh8KUZm1xY2LNVd8GHrRQ8ZJh7mjQV

As you can see I am not getting correct result. What have I messed up? I want to learn it.

https://slideplayer.com/slide/4942120/
Here is full slide in case anyone wants to refer to it.

 

[Evgeny.Makarov]

The slides use the convention that the scope of a quantifier is maximal, i.e., it extends as far to the right as possible. In particular, $\forall y\,\text{Animal}(y)\Rightarrow \text{Loves}(x, y)$ means $\forall y\,(\text{Animal}(y)\Rightarrow \text{Loves}(x, y))$ and not $(\forall y\,\text{Animal}(y))\Rightarrow \text{Loves}(x, y)$, as you wrote in the first photo. This convention is not universal, however. Quite a few textbooks view the scope of a quantifier as being as small as possible.