Prove p, assuming the following:
- (1) r → ¬q assumption
- (2) q assumption
- (3) ¬(p ∧ ¬s) ∧ (¬r → p) assumption
I need help after (4) not sure how to start this
(4) q → ¬r contrapostion (1)
(5)¬r modus ponens (2),(4)
(6)
(7)
2026-04-01 14:02:52.1775052172
Prove p, assuming the following: (1) r → ¬q (2) q (3) ¬(p ∧ ¬s) ∧ (¬r → p)
46 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
Prove p, assuming the following:
(1) r → ¬q assumption (2) q assumption (3) ¬(p ∧ ¬s) ∧ (¬r → p) assumption I need help after (4) not sure how to start this (4) q → ¬r contrapostion (1) (5)¬r modus ponens (2),(4) (6) p Modus ponens (3),(4) I figured it out!