Let L(x,y) be the proposition "x loves y" and let the universe of discourse be the people in the world. Express the following statements as quantifications.
- Everybody loves Jerry (answer)
- Everybody loves somebody (answer)
- There is somebody that everybody loves (answer)
- Nobody loves everybody (answer)
- There is somebody that Lydia does not love (answer)
- There is somebody that no one loves (answer)
- There is exactly one person that everybody loves (answer)
- There are two people that Lynn loves (answer)
- Everyone loves himself or herself (answer)
- There is someone who loves no one besides himself (answer)
</div>')){kind=link}
</div>')){kind=link}
</div>')){kind=link}
)<br>or</br><img src=forall.png><em>x</em> <img src=thereis.png><em>y</em> <img src=not.png><em>L</em>(<em>x</em>,<em>y</em>)</div>')){kind=link}
<br>or<br><img src=not.png>(<img src=forall.png><em>y</em> <em>L</em>(Lydia,<em>y</em>))</div>')){kind=link}
</div>')){kind=link}
 <img src=conj.png> <img src=forall.png><em>z</em>(<img src=forall.png><em>x</em> <em>L</em>(<em>x</em>,<em>z</em>)<img src=impl.png><em>z</em>=<em>y</em>)]</div>')){kind=link}
<img src=impl.png>(<em>z</em>=<em>x</em> <img src=disj.png> <em>z</em>=<em>y</em>)) <img src=conj.png> <em>x</em><img src=neq.png><em>y</em>]</div>')){kind=link}
</div>')){kind=link}
<img src=impl.png><em>x</em>=<em>y</em>]</div>')){kind=link}