Proofs section of 4.2 (and all that is due for Exam 2)
Construct proofs for the following arguments.
(1) 1. A ⊃ B A Deduce: ~B ⊃ ~A
(2) 1. D ⊃ (E ⊃ F) A Deduce: E ⊃ (D ⊃ F)
(3) 1. A ⊃ B A Deduce: (~A ⊃ ~C) ⊃ (C ⊃ B)
(4) 1. (D ∨ A) ⊃ B A
2. A A Deduce: B
(5) 1. C ≡ D A
2. D A Deduce: C
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment