Question 1195752: 3. [10] Fill in the derived statements
1. R
2. K ⊃ (~X • ~R)
3. (J v Z) v K / ∴ Z v J
4. _____________________ 1 DI
5. _____________________ 4 DeM
6. _____________________ 5, 2 MT
7. _____________________ 6, 3 DS
8. _____________________ 7 comm
Answer by math_helper(2461)   (Show Source):
You can put this solution on YOUR website!
4. R v X 1, DI (Disjunction Introduction, or "Addition": if A then certainly "A or B" is also true)
5. ~(~R • ~X) 4, DeM (DeMorgan's: a v b <==> ~(~a • ~b))
6. ~K 5,2 MT (Modus Tollens)
7. J v Z 6,3 DS (Disjunctive Syllogism)
8. Z v J 7 COMM (Commutation: A v B <==> B v A)
|
|
|
