Hi guys, does anyone know how to complete proofs of natural deduction for these sequents? ¬ (P ˅ Q), R → P : ¬ R [7]
(P & Q) → ¬ R, : R → (P → ¬ Q) [10]the {7} in brackets indicates how many lines each answer should be. I attempted both but my amount of lines were not 7 or 10
Would really...