Logic for Computer Science

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

(a) Some people like logic.

(b) Some people are tall and thin. (c)

There is a mushroom that is purple and poisonous.

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

(e) Every box contains at least one coin.

(f) All red objects are to the left of green objects