SOLUTION: I cannot solve this: I can use: Transportation, Material Implication, Material Equivalence, Exportation, Tautology, Double Negation, Commutation, Association, Distribution, Demorga

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)
RELATED QUESTIONS
I cannot solve this: I can use: Transportation, Material Implication, Material... (answered by jim_thompson5910)

I cannot solve this: I can use: Transportation, Material Implication, Material... (answered by jim_thompson5910)

I can use: Transportation, Material Implication, Material Equivalence, Exportation,... (answered by jim_thompson5910)

I need to solve using Transportation, Material Implication, Material Equivalence,... (answered by jim_thompson5910)

Here is a proof that I have been unable to solve. I can solve it using Indirect Proof... (answered by richard1234)

I�m doing homework concerning the rules of replacement. We are allowed to use 8 rules of... (answered by jim_thompson5910)