resolution in predicate logic, how do i gotta learn this math?

Joined
Jan 8, 2022
Messages
41
Reaction score
6
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.
 
I answered this in another forum but anyway:

What, exactly, do you maan by '"using resolution"?

Here is what I would do:
"anything anyone eats and isn't killed by is food"
"bill eats peanuts and is still alive"
(So peanuts are food.)

"john likes all kinds of food."
(And since peanuts are food)
"john likes peanuts,"


The other statements
"apples are food"
"chicken is food"
"sue eats everything bill eats"
are irrelevant and not needed.
 
I answered this in another forum but anyway:

What, exactly, do you maan by '"using resolution"?

Here is what I would do:
"anything anyone eats and isn't killed by is food"
"bill eats peanuts and is still alive"
(So peanuts are food.)

"john likes all kinds of food."
(And since peanuts are food)
"john likes peanuts,"


The other statements
"apples are food"
"chicken is food"
"sue eats everything bill eats"
are irrelevant and not needed.
you can't do it. lol. you need to prove using computer science concepts. use first order predicate logic to prove this stuff.
 

Members online

No members online now.

Trending content

Forum statistics

Threads
2,531
Messages
9,860
Members
697
Latest member
lemon in icewine
Back
Top