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

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) (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

RELATED QUESTIONS
1. ~J v ~L 2. ~(J * L) -> ~M 3. ~E v (M v ~S) / ~(S * E) (answered by jim_thompson5910)

Solve the two step proofs below: 1. ~C 2. A > B 3. B > C / ~A 1. D > E 2. F > G (answered by Edwin McCravy)

Construct a proof in Natural Deduction for the following argument. Show the proof. Do... (answered by jim_thompson5910)

II. Use Conditional Proof to solve the following arguments J ⊃ (K ⊃ L) J ⊃ (M... (answered by Edwin McCravy)

I am really having a hard time proofing this ~(J . L) (~J v ~L) -> ~M ~E v(M v... (answered by )

Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)

Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by Edwin McCravy)

I am having trouble solving the following propositional logic proofs. 1. Conclusion:... (answered by jim_thompson5910)

1. J => (L v T) Basic Assumption 2. ~ (L v ~ J) Basic Assumption / ~ L => T (answered by math_helper)