Solutions Quantifiers3 2: Difference between revisions
Jump to navigation
Jump to search
(Created page with "1. For every person there is at least one person who loves him / her: ∀x (PERSON (x) → ∃y (PERSON (y) & LOVE (x, y)) 2. There is one person that is loved by everyone:...") |
(No difference)
|
Revision as of 23:22, 14 November 2013
1. For every person there is at least one person who loves him / her:
∀x (PERSON (x) → ∃y (PERSON (y) & LOVE (x, y))
2. There is one person that is loved by everyone:
∃x (PERSON (x) → ∀y (PERSON (y) & LOVE (y, x))