 Proof by Deduction
Questions a–b: Prove the following theorems using natural deduction.
Use only the primitive inference rules of propositional logic. (Double negation is also not a primitive
rule)
(a) p ∧ q, p ⇒ s, q ⇒ t ⊢ s ∧ t
(b) p ⇒ ¬ q, q ∧ p ⊢ r
(c) ⊢ t ∨ ¬ t Please answer in JSON format.
user