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

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