“Anyone passing his history exams and winning the lottery is happy. But anyone who studies or is lucky can pass all his exams. John did not study but he is lucky. Anyone who is lucky wins the lottery. Is John happy?”(a) Change the sentences to predicate form. (b) Change the predicate statements to clause form.(c) Use binary resolution method with the set of support strategy to prove the conclusion “Is John happy?”.(d) Use binary resolution method with the unit preference strategy to prove the conclusion“Is John happy?”
“Anyone passing his history exams and winning the lottery is happy. But anyone who studies or is lucky can pass all his exams. John did not study but he is lucky. Anyone who is lucky wins the lottery. Is John happy?”(a) Change the sentences to predicate form. (b) Change the predicate statements to clause form.(c) Use binary resolution method with the set of support strategy to prove the conclusion “Is John happy?”.(d) Use binary resolution method with the unit preference strategy to prove the conclusion“Is John happy?”
Related questions
Question
“Anyone passing his history exams and winning the lottery is happy. But anyone who studies or
is lucky can pass all his exams. John did not study but he is lucky. Anyone who is lucky wins the lottery.
Is John happy?”
(a) Change the sentences to predicate form.
(b) Change the predicate statements to clause form.
(c) Use binary resolution method with the set of support strategy to prove the conclusion “Is
John happy?”.
(d) Use binary resolution method with the unit preference strategy to prove the conclusion
“Is John happy?”
Expert Solution
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
Step by step
Solved in 2 steps