ASSIGNMENT 3
DUE DATE: 31 AUGUST
2023
QUESTION 1
1.1. ∀x (Brown(x) ∧ dog(x)) → hairy(x)
1.2. ∃x (Corgi(x) ∧ ∀y Person(y) → Loves(x, y))
1.3. ∀z Person(z) → ∃x (Corgi(x) ∧ Loves(z, x))
1.4. ∀x ∀y (Pancakes(x) ∧ Pancakes(y)) → TasteSimilar(x, y)
1.5. ∀z Person(z) → ∃x ∃y (Person(x) ∧ Person(y) ∧ x ≠ y ∧ Knows(z, x) ∧ Knows(z, y))
QUESTION 2