For the following argument, providetwo proofs: one which uses derived rules (1point), and one which only uses basic rules (4 points).
1. [A → (B ∧ C)], ¬(B ∧ C) ⊢ ¬A
For the following argument, provide two proofs: one which uses derived rules (1 point), and one which only uses basic ru
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am