Page 1 of 1

Give a direct and indirect proof of: (P ∨ R) ∨ (P → Q), ¬(P → Q); R → (P → Q) ⇒ P

Posted: Wed May 11, 2022 9:51 pm
by answerhappygod
Give a direct and indirect proof of: (P ∨ R) ∨ (P → Q), ¬(P →
Q); R → (P → Q) ⇒ P