Proving two theorems in sentential logic with SD derivation

[yankes2k]

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

 

[yankes2k]

Anyone have some advice?

 

[honestrosewater]

See your other post https://www.physicsforums.com/showthread.php?t=78069