Question #4 (FOL)

4.1. Define an appropriate language and formalize the negation of the following sentences using FOL formulas. Justify your answers.

(a) There is a type of spider that is red and poisonous.

(b) Some people like Java.

(c) Some people are short and fat.

(d) All numbers greater or equal than one are bigger than themselves divided by four.

4.2. 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.