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. T ⋅ (U ꓦ V)

2. T ⊃ [U ⊃ (W ⋅ X)]

3. (T ⋅ V) ⊃ ~ (W ꓦ X) 

∴ W ≡ X

4. (T ⋅ U) ⊃ (W ⋅ X)

5. (T ⋅ V) ⊃ (~ W ⋅ ~ X)

6. [(T ⋅ U) ⊃ (W ⋅ X)] ⋅ 

[(T ⋅ V) ⊃ (~ W ⋅ ~ X)]

7. (T ⋅ U) ꓦ (T ⋅ V)

8. (W ⋅ X) ꓦ (~ W ⋅ ~ X)

9. W ≡ X

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: