1
Q
Uniqueness - ‘the vegetarian’
A
∃x(V x ∧ ∀y(Vy → x = y)
1
Q
Uniqueness - At least two spies
A
∃x∃y(Sx ∧ Sy ∧ ¬x=y)
2
Q
Uniqueness - At most one spy
A
∀x∀y((Sx ∧ Sy) → x = y)
Uniqueness - ‘the vegetarian’
∃x(V x ∧ ∀y(Vy → x = y)
Uniqueness - At least two spies
∃x∃y(Sx ∧ Sy ∧ ¬x=y)
Uniqueness - At most one spy
∀x∀y((Sx ∧ Sy) → x = y)
Key Links
Subjects
Company
Find Us
