SOLUTION: i can only use the 8 implicational rules 1. ~W∙~~Z 2. (~W∙X)>Y 3. ~ZvX :. Y

Algebra ->  Proofs -> SOLUTION: i can only use the 8 implicational rules 1. ~W∙~~Z 2. (~W∙X)>Y 3. ~ZvX :. Y       Log On


   

Question 594160: i can only use the 8 implicational rules
1. ~W∙~~Z
2. (~W∙X)>Y
3. ~ZvX :. Y
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.   ~W ∙ ~~Z
2.   (~W ∙ X) > Y
3.   ~Z v X             :. Y 
-------------------------------------------------------
4.   ~W                                     1       Simplification
5.   ~~Z                                    1       Simplification
6.   X                                      3,5     Disjunctive Syllogism        
7.   ~W ∙ X                                 4,6     Conjunction
8.   Y                                      2,7     Modus Ponens