INDIAN INSTITUTE OF TECHNOLOGY, KHARAGPUR

FOUNDATION OF COMPUTING SCIENCES (CS60005)

ASSIGNMENT-2 (PREDICATE LOGIC)

1. Express the following English statements in predicate logic
Everybody loves everybody.
Only one student took AI in autumn 2013.
Anyone is unfortunate who bears the same name as a person who commits a
crime.
No student can fool all the other students.

2. Encode the following and show validity using resolution proof technique

Tony, John and Mike belong to the alpine club. Every member of the Alpine club is
either a skier or a mountain climber or both. No mountain climber likes rain and all
skiers like snow. Mike dislikes whatever Tony likes and likes whatever Tony dislikes.
Tony likes rain and snow. Is there a member in the alpine club who is a mountain
climber but not a skier?
Anyone who likes George will choose Nick for his team. Nick is not a friend of
anyone who is a friend of Mike. Jay will choose no one but a friend of Ken for his
team.Therfore, if Ken is a friend of Mike, then Jay does not like George.
Any authors are successful iff they are well-read. All authors are intellectuals. Some
authors are successful but not well-read.Therfore all intellectuals are authors.

3. Using axioms and inference rules, show that B C D
= ~ c
=
= ~
=
=
4. Convert the following WFF to CNF
[ () (, )] [ (, )]


5. Consider Hilberts Proof System 1 (clearly mention all the assumptions and show all the
intermediate steps):-
(A B), (B C)
1
(A C).
(Also take a look at the proof of deduction theorem for
1
)

6. Now consider Hilberts Proof system
2
and the deduction theorem for Hilberts
2

systems, prove the following statements
((A B) ((A B) B)).

--THE END --