Question 981354
<font face="Times New Roman" size="+2">


<pre>
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

</pre>
John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it

*[tex \Large \ \
*[tex \LARGE \ \ \ \ \ \ \ \ \ \