Questions and answers by

mecha

Questions (1)

a) Prove that (p ⊃ q) ⊃ [(p ⊃ ~q) ⊃ (p ⊃ r)] is a theorem by giving a proof in our natural deductionsystem
1. 0 answers
2. 284 views

Ask a New Question