Solutions Quantifiers3 2

From Lexical Resource Semantics

Revision as of 23:22, 14 November 2013 by Suzanne (talk | contribs) (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:...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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))

Return to Excercise

Retrieved from "http:///wiki/index.php?title=Solutions_Quantifiers3_2&oldid=5086"