SOLUTION: 1. (C v S) v L 2. ~S & (~L v Z) 3. (L v C) > ~Z / ~(S v Z) My apologies, I made a typo before, it should be ~(S v Z) and not ~(S v C).

Algebra ->  Proofs -> SOLUTION: 1. (C v S) v L 2. ~S & (~L v Z) 3. (L v C) > ~Z / ~(S v Z) My apologies, I made a typo before, it should be ~(S v Z) and not ~(S v C).       Log On


   

Question 981163: 1. (C v S) v L
2. ~S & (~L v Z)
3. (L v C) > ~Z
/ ~(S v Z)
My apologies, I made a typo before, it should be ~(S v Z) and not ~(S v C).

Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
Abbreviations/Acronyms Used:

Assoc = Association
Comm = Commutation
Conj = Conjunction
DM = De Morgan's Law
DS = Disjunctive Syllogism
MP = Modus Ponens
Simp = Simplification

NumberStatementLines UsedReason
1(C v S) v L
2~S & (~L v Z)
3(L v C) > ~Z
:.~(S v C)
4~S2Simp
5(S v C) v L1Comm
6S v (C v L)5Assoc
7C v L6,4DS
8L v C7Comm
9~Z3,8MP
10~S & ~Z4,9Conj
11~(S v Z)10DM