Solutions Quantifiers3 2
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)
Or, in restricted-quantifier notation:
∀x (person(x) : ∃y (person(y) : love(x,y)
2. There is one person that is loved by everyone:
∃y (person(y) ⊃ ∀x (person(x) ∧ love(x,y)
Or, in restricted-quantifier notation:
∀x (person(x) : ∃y (person(y) : love(x,y)