For the following argument, provide two proofs: one which uses derived rules (1 point), and one which only uses basic ru
Posted: Thu Jul 07, 2022 11:40 am
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
1. [A → (B ∧ C)], ¬(B ∧ C) ⊢ ¬A