SOLUTION: 1. ~X ⊃ ~~O 2. ~X ⊃ A 3. ~(O * A) / X

Algebra ->  Proofs -> SOLUTION: 1. ~X ⊃ ~~O 2. ~X ⊃ A 3. ~(O * A) / X      Log On


   

Question 1179560:
1. ~X ⊃ ~~O
2. ~X ⊃ A
3. ~(O * A) / X
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
1.	~X ⊃ ~~O	 
2.	~X ⊃ A	 
3.	~(O * A)                                	/ X

                |4. ~X            AIP
                |5. ~~O           1,4   MP
                |6. O             5,    DN
                |7. A             2,4   MP
                |8. O*A           6,7   conj.
                |9.(O*A)*~(O*A)   8,3   conj
10. X        lines 4-9            IP

Edwin