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
Algebra ->
Proofs
-> 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
Log On
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.
(
