HOMEWORK 3
PROPOSITIONAL & FIRST-ORDER LOGIC
(35 Points)
Due: at start of Lecture, Tuesday, March 21, 2000
wang
, which you can get by
loading /projects/shapiro/AIclass/wang.cl
determine if
the above sentences logically imply
wang
function on each of these three
problems. If wang
succeeds in showing logical
implication, state clearly what the implication is. If
wang
shows that the implication does not hold, give a
falsifying set of truth values. (Show a falsifying line of the truth table.)
You can see examples of wang
in use in
Foundations of Logic &
Inference, starting at p. 59.
Male(x)
: x is male.
Female(x)
: x is female.
Spouse({x,y})
: x and y
are married.
Parent(x,y)
: x is a parent of y.
SNePSLOG
.
Then enter into SNePSLOG
definitions of the
following predicates:
Mother(x,y)
: x is the mother of
y.
Father(x,y)
: x is the father of
y.
Brother(x,y)
: x is the brother of
y.
Sister(x,y)
: x is the sister of
y.
Grandmother(x,y)
: x is the
grandmother of y.
Grandfather(x,y)
: x is the
grandfather of y.
SNePSLOG
to show that your
definitions are correct.
See the instructions) for
running SNePSLOG
. and either the PS version, or the HTML version of the SNePS 2.5 User's
Manual.