Define an appropriate language and formalize the following s

Define an appropriate language and formalize the following sentences using FOL formulas.

(a) Anyone who does not play regularly is not a football star.

(b) Every cat loves anyone who gives the cat a good food.

(c) There are at least two rooms.

Solution

A) &forall x (¬ PLAY(x) &rarr ¬ STAR(x))

B) &forall x &forall y (Loves(x,y) &and CAT(y) &rarr &forall z &forall w (Cat(w) &and GoodFood(z,w)

C) xyz[Room(x) Room(y) ¬(x = y)