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

Discussion in 'Other Advanced Math' started by shivajikobardan, Feb 14, 2022.

1. ### shivajikobardan

Joined:
Jan 8, 2022
Messages:
41
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.

shivajikobardan, Feb 14, 2022

2. ### MathLover1

Joined:
Jun 27, 2021
Messages:
2,989
2,883
MathLover1, Feb 14, 2022
shivajikobardan likes this.

3. ### Country Boy

Joined:
Dec 15, 2021
Messages:
157
38
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.

Country Boy, Feb 14, 2022
4. ### shivajikobardan

Joined:
Jan 8, 2022
Messages:
41
6
you can't do it. lol. you need to prove using computer science concepts. use first order predicate logic to prove this stuff.

shivajikobardan, Feb 15, 2022
5. ### shivajikobardan

Joined:
Jan 8, 2022
Messages:
41
6
shivajikobardan, Feb 15, 2022
6. ### nycmathguy

Joined:
Jun 27, 2021
Messages:
5,386
420
nycmathguy, Feb 15, 2022
7. ### MathLover1

Joined:
Jun 27, 2021
Messages:
2,989
2,883
Predicate Logic

MathLover1, Feb 16, 2022
nycmathguy and shivajikobardan like this.
8. ### shivajikobardan

Joined:
Jan 8, 2022
Messages:
41
6
some study in discrete mathematics. some in artificial intelligence. toughest cs math i have ever studied this is imo.

shivajikobardan, Feb 16, 2022
nycmathguy likes this.
9. ### nycmathguy

Joined:
Jun 27, 2021
Messages:
5,386
420
Thanks.

nycmathguy, Feb 17, 2022

Joined:
Jun 27, 2021
Messages:
5,386