SOLUTION: Can anybody help me complete this proof? 1. (C v S) v L 2. ~S & (~L v Z) 3. (L v C) > ~Z / ~(S v C) 4. ~S Simplification line 2 5. (~L v Z) & ~S

Question 981103: Can anybody help me complete this proof?
1. (C v S) v L
2. ~S & (~L v Z)
3. (L v C) > ~Z
/ ~(S v C)
4. ~S Simplification line 2
5. (~L v Z) & ~S Comm line 2
6. ~L v Z Simplification line 5
I think I'm on the right track, could anybody assist me? Thank you
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
The argument is invalid. The proof is in line 9 (highlighted in yellow) of the truth table below. In this row, all of the premises are true but they lead to a false conclusion.

The premises are marked in light blue. The conclusion is the last column.

Since the argument is invalid, this means that there is no way to do a proper derivation.
RELATED QUESTIONS
1. (C v S) v L 2. ~S & (~L v Z) 3. (L v C) > ~Z / ~(S v Z) My apologies, I made a... (answered by jim_thompson5910)

1. I > ( L & W) 2. (~W > H) > S / I > S 3. ~I v (L & W) 1 MI 4. (~I v... (answered by jim_thompson5910)

Can you help me solve this formal proof? 1. (C * K) v (L * T) 2. ~C v ~K :. L * T 3.... (answered by Edwin McCravy)

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

1. ~A 2. (C v A) > L 3. A v D 4. (D v U) > C /therefore L (answered by jim_thompson5910)

Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)

Can you please help me complete the following rules by adding the implication rules to... (answered by robertb)

Question 1 please help me with this question. If the universal set U=... (answered by MathLover1)