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

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.

 

here is few examples, one is almost identical

https://www.javatpoint.com/ai-resolution-in-first-order-logic

 

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.

 

yeah I already solved this example.

 

What math course is this?

 

Predicate Logic

 

some study in discrete mathematics. some in artificial intelligence. toughest cs math i have ever studied this is imo.

 

Thanks.

 

Thanks for the information.