1. PF Contest - Win "Conquering the Physics GRE" book! Click Here to Enter
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

SD Derviation Please help

  1. Jun 5, 2005 #1
    Hi everyone,

    I really need help proving a theorem for logic HW. I am allowed to use all the standard derivations in Sentential Logic.

    Also I do not know how to enter in the symbols so I will use ">" to signify conditional in the problem below.

    Instructions: Show that each of the following is a theorem in SD by constructing a derivation.

    1:) ~A>((B&A)>C)

    2:) (AvB)>(BvA)

    If someone could help me out I would really appreciate it as I am so lost right now.



    BTW this is posted on the Logic form first because I did not notice this form first. Sorry for double-posting
  2. jcsd
  3. Jun 5, 2005 #2
    Anyone have some advice?
  4. Jun 6, 2005 #3


    User Avatar
    Gold Member

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook