SOLUTION: Construct a proof for the following: 1. ~(J * L) 2. (J --> ~L) --> (~M * ~X) 3. E v (M v X). .·. E

Algebra ->  Proofs -> SOLUTION: Construct a proof for the following: 1. ~(J * L) 2. (J --> ~L) --> (~M * ~X) 3. E v (M v X). .·. E      Log On


   

Question 1171295: Construct a proof for the following:
1. ~(J * L)
2. (J --> ~L) --> (~M * ~X)
3. E v (M v X). .·. E
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!

1. ~(J * L)
2. (J --> ~L) --> (~M * ~X)
3. E v (M v X).                    .·. E

4. ~J v ~L          1, DeMorgan's law
5. J --> ~L         4, Material Implication
6. ~M * ~X          2,5, Modus Ponens
7. ~(M v X)         6, DeMorgan's law
8. (M v X) v E      3, Commutation
9. E                8,7 Disjunctive Syllogism

Edwin