Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Need Help In Logic / Natural Deduction

  1. Aug 6, 2006 #1
    Hi,

    I need help please! :cry:

    In the class that I am in we went from doing tables to this shorter version, and I don't get it.

    Example:

    1. ~JvP
    2. ~J
    3. S>J /?
    4. ?

    Would number 4. be ~P>J and the supporting lines be 1,3 with the DS (disjunctive syllogism)? I don't get it...

    Would it be the DS rule (pvq/~p//q)?

    Another one I don't get:

    1. H>D
    2. F>T
    3. F>H /?
    4. ?


    Would number 4 be D>F and the conculsion be HS (hypothetical syllogism, p>q/q>r//p>r)?

    Thanks....
     
    Last edited: Aug 7, 2006
  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted