Professional Documents
Culture Documents
Solutions 1
Solutions 1
Solutions 1
Santa
L(x,y) - x loves y
Child(x) - x is a child
Reind(x) – x is reindeer
Rudolph
Weird(x) – x is weird
Scrooge
Clown(x) – x is a clown
Reind(Rudolph)
Red(Rudolph)
Child(x)
(9)=(1)+(8): L(x,Santa)
(10)=(3)+(6): ~ Clown(Rudolph)
(11)=(10)+(5)+(4): Weird(Rudolph)
(14)=(12)+(13): ~Reind(Rudolph)
(3)+(14)= NIL
Problem 7
John
Stud(x) – x is a student
Stud(John)
Proof by resolution:
(8)=(7)+(1): Footb(John)
(9)=(6)+(4): Pass(John)
(10)=(8)+(5): ~Play(John)
(11)=(9)+(10)+(2): ~Stud(John)
(11)+(3)= NIL
Problem 9
Biker(x) – x is biker
Yp(x) – x is a yuppie
La(x) – x Is a lawyer
N(Mary) Biker(John)
(15)=(14)+(8): ~N(Mary)
(15)+(6) = NIL