SOLUTION: 1. ~~G 2. (P•Y)v(X->~W) 3. (P•Y)->~G 4. ~W->~G /~X

Algebra ->  Proofs -> SOLUTION: 1. ~~G 2. (P•Y)v(X->~W) 3. (P•Y)->~G 4. ~W->~G /~X      Log On


   

Question 668746: 1. ~~G
2. (P•Y)v(X->~W)
3. (P•Y)->~G
4. ~W->~G
/~X
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.   ~~G
2.   (P * Y) v (X -> ~W)
3.   (P * Y) -> ~G
4.   ~W -> ~G                  /~X
-----------------------------------
5.   ~~W                      4,1     Modus Tollens
6.   ~(P * Y)                 2,1     Modus Tollens
7.   X -> ~W                  2,6     Disjunctive Syllogism
8.   ~X                       7,5     Modus Tollens