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

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

  1. shivajikobardan

    shivajikobardan

    Joined:
    Jan 8, 2022
    Messages:
    41
    Likes Received:
    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
    #1
  2. shivajikobardan

    MathLover1

    Joined:
    Jun 27, 2021
    Messages:
    2,989
    Likes Received:
    2,884
    MathLover1, Feb 14, 2022
    #2
    shivajikobardan likes this.
  3. shivajikobardan

    Country Boy

    Joined:
    Dec 15, 2021
    Messages:
    157
    Likes Received:
    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
    #3
  4. shivajikobardan

    shivajikobardan

    Joined:
    Jan 8, 2022
    Messages:
    41
    Likes Received:
    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
    #4
  5. shivajikobardan

    shivajikobardan

    Joined:
    Jan 8, 2022
    Messages:
    41
    Likes Received:
    6
    shivajikobardan, Feb 15, 2022
    #5
  6. shivajikobardan

    nycmathguy

    Joined:
    Jun 27, 2021
    Messages:
    5,386
    Likes Received:
    422
    nycmathguy, Feb 15, 2022
    #6
  7. shivajikobardan

    MathLover1

    Joined:
    Jun 27, 2021
    Messages:
    2,989
    Likes Received:
    2,884
    Predicate Logic
     
    MathLover1, Feb 16, 2022
    #7
    nycmathguy and shivajikobardan like this.
  8. shivajikobardan

    shivajikobardan

    Joined:
    Jan 8, 2022
    Messages:
    41
    Likes Received:
    6
    some study in discrete mathematics. some in artificial intelligence. toughest cs math i have ever studied this is imo.
     
    shivajikobardan, Feb 16, 2022
    #8
    nycmathguy likes this.
  9. shivajikobardan

    nycmathguy

    Joined:
    Jun 27, 2021
    Messages:
    5,386
    Likes Received:
    422
    Thanks.
     
    nycmathguy, Feb 17, 2022
    #9
  10. shivajikobardan

    nycmathguy

    Joined:
    Jun 27, 2021
    Messages:
    5,386
    Likes Received:
    422
    Thanks for the information.
     
    nycmathguy, Feb 17, 2022
    #10
Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments (here). After that, you can post your question and our members will help you out.
Similar Threads
There are no similar threads yet.
Loading...