SOLUTION: Can use De Morgan, commutativity, associativity, distributivity, double negation and rules of implication Im very lost please help (Pv~X)>Z (~Z&Y)v(L&~Z) /X

Algebra ->  Proofs -> SOLUTION: Can use De Morgan, commutativity, associativity, distributivity, double negation and rules of implication Im very lost please help (Pv~X)>Z (~Z&Y)v(L&~Z) /X      Log On


   

Question 981354: Can use De Morgan, commutativity, associativity, distributivity, double negation and rules of implication
Im very lost please help
(Pv~X)>Z
(~Z&Y)v(L&~Z)
/X
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


1.  (Pv~X)>Z           Premise

2.  (~Z&Y)v(L&~Z)      Premise

    /X

3.  ~Z & (Y v L)       2 by Commutativity and Distributivity

4.  ~Z                 3 by Simplification

5.  ~(P v ~X)          1, 4 by Modus Tollens

6.  ~P & X             5 by De Morgan

7.  Therefore X        6 by Simplification

QED

John

My calculator said it, I believe it, that settles it