Question 188804: I cannot solve this: I can use: Transportation, Material Implication, Material Equivalence, Exportation, Tautology, Double Negation, Commutation, Association, Distribution, Demorgan's Theorem, Modus Ponems, Modus Tollens, Hypothetical Syllogism, Conjunstion, Simplification, Addition, Constructive Dilemma, Absorption and Disjuntive Syllogism.
1. 1.(T -> S) & (B -> D)
2. ~S v ~D
3. W -> (T & B) Therefore: W -> R
Answer by jim_thompson5910(35256)   (Show Source):
You can put this solution on YOUR website!
1. (T -> S) & (B -> D)
2. ~S v ~D
3. W -> (T & B) Therefore: W -> R
-----------------------------------
4. (~S -> ~T) & (~D -> ~B) 1 Transposition
5. ~T v ~B 4,2 Constructive Dilemma
6. ~(T & B) 5 DeMorgan's Theorem
7. ~W 3,6 Modus Tollens
8. ~W v R 7 Addition
9. W -> R 8 Material Implication
Note: we can use the same steps to prove W -> any statement (since addition allows us to add any statement)
|
|
|
