SOLUTION: 1. ~J v ~L 2. ~(J * L) -> ~M 3. ~E v (M v ~S) / ~(S * E)

Question 298840: 1. ~J v ~L
2. ~(J * L) -> ~M
3. ~E v (M v ~S) / ~(S * E)
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
Here it helps to fully know the 19 rules of inference.

1.  ~J v ~L
2.  ~(J * L) -> ~M
3.  ~E v (M v ~S)           /  ~(S * E) 
-----------------------------------------
4.  ~(J * L)                          1     De Morgan's Law
5.  ~M                                2,4   Modus Ponens
6.  (~E v M) v ~S                     3     Association
7.  (M v ~E) v ~S                     6     Commutation
8.  M v (~E v ~S)                     7     Association 
9.  ~~M v (~E v ~S)                   8     Double Negation
10. ~M -> (~E v ~S)                   8     Material Implication
11. ~E v ~S                           10,5  Modus Ponens
12. ~S v ~E                           11    Commutation
13. ~(S * E)                          11    De Morgan's Law

RELATED QUESTIONS
Construct a proof for the following: 1. ~(J * L) 2. (J --> ~L) --> (~M * ~X) 3.... (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 )

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)

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

Use an ordinary proof to solve 1) 1.E ⊃ (S ⊃ T) 2.(~L ⋅... (answered by richwmiller,jim_thompson5910)

1. J v (K · L) 2. ~ K //  J (answered by Edwin McCravy,math_tutor2020)

1. P ⊃ ~M 2. C ⊃ M 3. ~L v C 4. (~P ⊃ ~E) • (~E ⊃ ~C) 5. P v... (answered by Solver92311)

1. P (horseshoe) ~M 2. C (horseshoe) M 3. ~L v C 4. (~P (horseshoe) ~E) • (~E... (answered by RBryant)