+1 vote
439 views
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

108 comments

561 users

...