+1 vote
by (98.9k points)
Q5 A. Consider the following axioms All people who are graduating are happy. All happy people smile. Someone is graduating. Prove that “Is someone Smiling?” using resolution technique. Draw resolution tree.

1 Answer

0 votes
by (98.9k points)
selected by
Best answer

Answer are in the pictures









by (98.9k points)
Credits Vedang DMCE

Related questions

Doubtly is an online community for engineering students, offering:

  • Free viva questions PDFs
  • Previous year question papers (PYQs)
  • Academic doubt solutions
  • Expert-guided solutions

Get the pro version for free by logging in!

5.7k questions

5.1k answers


530 users