Extra FOL practice

Here are some extra sentences to help you practice your FOL skills. The answers are in a white font - highlight to reveal them.

Encode each of the Following sentences as first-order logic. Use the following predicates: neighborhood(x), in(x,y), foggy(x), sunny(x), livesIn(x,y), drivesToWork(x), ownsCar(x).

Note: A= Forall, E=ThereExists, v = OR, ^ = AND, ! = NOT, -> = implies, <-> = equivalence

Convert each of the sentences above to CNF.

Use resolution with refutation to prove that Bob lives in San Francisco.

Last modified: Thu Oct 27 11:32:42 PDT 2005