For each numbered statement that is not a premise in each of the formal proofs that follow,

Question:

For each numbered statement that is not a premise in each of the formal proofs that follow, state the rule of inference that justifies it.


1. (Q ꓦ ~ R) ꓦ S
2. ~ Q ꓦ (R ⊃ ~ Q)
∴ R ⊃ S
3. (~ Q ꓦ R) ⋅ (~ Q ꓦ ~ Q)
4. (~ Q ꓦ ~ Q) ⋅ (~ Q ꓦ R)
5. ~ Q ꓦ ~ Q
6. ~ Q
7. Q ꓦ (~ R ꓦ S)
8. ~ R ꓦ S
9. R ⊃ S

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question

Introduction To Logic

ISBN: 9781138500860

15th Edition

Authors: Irving M. Copi, Carl Cohen, Victor Rodych

Question Posted: