Translate these sentences into formulas in predicate logic.

- Johnlikes all kinds of food.
- Applesare food.
- Chickenis food.
- Anythinganyone eats and isn‟t killed – by is food.
- Billeats peanuts and is still alive. Sue eats everything Bill eats.

Lost your password? Please enter your email address. You will receive a link and will create a new password via email.

∀x F ood(x) → Likes(John, x)F ood(Apples)F ood(Chicken)∀x∃y Eats(y, x)∧ ¬KilledBy(y, x) → F ood(x)Eats(Bill, P eanuts)∧¬KilledBy(Bill, P eanuts)∀x Eats(Bill, x) → Eats(Sue, x)