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. (H ꓦ I) ⊃ [J ⋅ (K ⋅ L)]
2. I
∴ J ⋅ K
3. I ꓦ H
4. H ꓦ I
5. J ⋅ (K ⋅ L)
6. (J ⋅ K) ⋅ L
7. J ⋅ K

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: