FOL

''Peter likes chocolates.''

Corresponding FOL is:

• likes(Peter) ∧ (chocolates)

• Peter(likes,chocolate)

• likes(Peter,chocolates)

• chocolates(Peter,likes)

''All boys are cool.''

• ∀x: boy(x) → cool(x)

• ∀x: boy(x) ∧ cool(x)

• ∀x: boy(x) → (cool,x)

• ∀x: boy(x) ↔ cool(x)

First Order Logic is also known as _____

• First Order Propositional Logic

• First logic

• Predicate Logic

• AI Logic

Translate the following statement into FOL.

“For every a, if a is a philosopher, then a is a scholar”

• ∀ a philosopher(a) scholar(a)

• b) ∃ a philosopher(a) scholar(a)

• c) All of the mentioned

• d) None of the mentioned