1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    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.

    Thanks,

    -Tony

    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

    honestrosewater

    User Avatar
    Gold Member

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

Have something to add?