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