Construct derivations in SD that establish the following:

This is a question given on my hw assignment. I am completely lost on how to do it.


a. ‘[(A & B) ⊃ C] ⊃ [A ⊃ (B ⊃ C)]’ is a theorem in SD.

b. {A ⊃ (C ⊃ B), ~ C ⊃ B, A & ~ B} is inconsistent in SD.

I also attached the document…I really don’t know how to do questions 2-5

"Is this question part of your assignment? We can help"