0
12kviews
Consider the following axioms:
written 7.4 years ago by | modified 2.0 years ago by |
Consider the following axioms:
All people who are graduating are happy.
All happy people smile.
Someone is graduating.
Explain the following:-
1) Represent these axioms in first order predicate logic.
2) Convert each formula to clause form.
3) Prove that ‘’Is someone smiling?’’ using resolution technique. Draw the resolution tree.
ADD COMMENT
EDIT
1 Answer