Waiting for answer This question has not been answered yet. You can hire a professional tutor to get the answer.
QUESTION
Intro to Symbolic Logic: Derivations, homework help
This is a question given on my hw assignment. I am completely lost on how to do it.
Construct derivations in SD that establish the following:
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
