Prove the following using Natural Deduction System using laws of equivalence and rules of inference. Only...

 

Transcribed Image Text:

Prove the following using Natural Deduction System using laws of equivalence and rules of inference. Only use direct proof. (Indirect and Conditional proofs are not allowed) Show all working. Premise Line number Formula Justification Reference 1 1 (~P | Q) Premise 2 2 (~R -> Q) Premise 3 3 ((S & R) -> P) Premise Goal: (~Q->~S) Prove the following using Natural Deduction System using laws of equivalence and rules of inference. Only use direct proof. (Indirect and Conditional proofs are not allowed) Show all working. Premise Line number Formula Justification Reference 1 1 (~P | Q) Premise 2 2 (~R -> Q) Premise 3 3 ((S & R) -> P) Premise Goal: (~Q->~S)