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: 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

Share this great discussion with others via Reddit, Google+, Twitter, or Facebook