Question 4 FOL 41 Define an appropriate language and formali

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.

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

4.1

(a)

There is a type of spider that is red and poisonous

in negation

No type of spider that is red and poisonous

FOL:

~(Ex) spider(x) red(x) ^ poisonous(x)

(b)Some people like Java

negation: some people dont like java

FOL:

~(Ex) people(x) => likes(x,java)

(c) Some people are short and fat.

negation:

Some people are not short and fat

FOL:

~ (Ex) people(x) => short(x) ^ fat(x)

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

negation:

All numbers greater or equal than one are not bigger than themselves divided by four

~( Ax) greater(x) v equal(x) => bigger(x,divideby4(x) )

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.

FOL:

(Ax) ~ ( playregular(x) => footballstar(x))

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

(A x) (A cat ) loves(cat,x) => gives(good food,cat)

(E x) room(x,two)