How to learn resolution in predicate logic?

S

shivajikobardan

Junior Member
Joined
Nov 1, 2021
Messages
107
This is not really a homework question so don't bother answering them. It is more of a guidance problem. This is what I find the hardest out of all topics.. Unfortunately, this topic is a fixed 10 marks question in our 80 marks exam. Comes every time.

The types of questions that I need to deal with my exams are like this-:
john likes all kinds of food.
apples are food
chicken is food
anything anyone eats and isn't killed by is food
bill eats peanuts and is still alive.
sue eats everything bill eats.
prove that john like peanuts using resolution.
 
shivajikobardan said:
john likes all kinds of food.
apples are food
chicken is food
anything anyone eats and isn't killed by is food
bill eats peanuts and is still alive.
sue eats everything bill eats.
prove that john like peanuts using resolution.
Click to expand...
Is this a "question" from a book? Or you tried to make up an example? This says:

john likes all kinds of food.​

What does "all" mean in this context?
 
You must log in or register to reply here.
Top