This preview shows pages 1–3. Sign up to view the full content.
1. Represent the following English sentences in First Order Logic.
(a) An uncle is the brother of someone’s parent or the husband of someone’s parent’s
sister.
(b) Richard is Peter’s Dad.
(c) Jan is Richard’s sister.
(d) Jim is Jan’s husband.
Prove, using proof by contradiction and resolution, that Jim is Peter’s uncle.
2. Some professors are long winded. If a professor is long winded, then there is a class that
she/he teaches in which someone gets bored. People who are bored in a class drop it.
Prove using First Order Logic that someone will drop some class.
1
This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentSolutions
1. First, let us deﬁne our predicates. The predicate
UncleOf
(
x,y
) is true if
x
is the uncle of
y
. The predicate
BrotherOf
(
x,y
) is true if
x
is
y
’s brother,
ParentOf
(
x,y
) is true if
x
is
y
’s parent and
SisterOf
(
x,y
) is true if
x
is
y
’s sister.
Now, let us express the knowledge in First Order Logic.
(a) 1.
This is the end of the preview. Sign up
to
access the rest of the document.
 Spring '10
 NaeemShareef

Click to edit the document details