SOLUTION: I am really having a hard time proofing this
~(J . L)
(~J v ~L) -> ~M
~E v(M v ~s) /~(S . E)
Algebra.Com
RELATED QUESTIONS
1. ~J v ~L
2. ~(J * L) -> ~M
3. ~E v (M v ~S) / ~(S * E) (answered by jim_thompson5910)
I am having trouble solving the following propositional logic proofs.
1. Conclusion:... (answered by jim_thompson5910)
Construct a proof for the following:
1. ~(J * L)
2. (J --> ~L) --> (~M * ~X)
3.... (answered by Edwin McCravy)
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)
Example:
1. A
2. A>B / B
3. B 1,2 MP ←You add this line
1. G > H
2. ~H /... (answered by ikleyn)
1. [J v (N & T)]
2. ~(~T -> S) / J
i need help solving this proof
(answered by guest567)
1. [A v (K & J)] > (~E &~F)
2. M > [A & (P v R)]
3. M & U... (answered by jim_thompson5910)
1.(D v L) -> ~S
2.(D & J)
3.(S v P) / P
where v is a disjunction, & is a... (answered by jim_thompson5910)
Prove the following three arguments to be valid using the method of Natural Deduction
A. (answered by solver91311)