Question 981163
Abbreviations/Acronyms Used:


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


<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>(C v S) v L</td><td></td><td></td></tr><tr><td>2</td><td>~S &amp; (~L v Z)</td><td></td><td></td></tr><tr><td>3</td><td>(L v C) &gt; ~Z</td><td></td><td></td></tr><tr><td>:.</td><td>~(S v C)</td><td></td><td></td></tr><tr><td>4</td><td>~S</td><td>2</td><td>Simp</td></tr><tr><td>5</td><td>(S v C) v L</td><td>1</td><td>Comm</td></tr><tr><td>6</td><td>S v (C v L)</td><td>5</td><td>Assoc</td></tr><tr><td>7</td><td>C v L</td><td>6,4</td><td>DS</td></tr><tr><td>8</td><td>L v C</td><td>7</td><td>Comm</td></tr><tr><td>9</td><td>~Z</td><td>3,8</td><td>MP</td></tr><tr><td>10</td><td>~S &amp; ~Z</td><td>4,9</td><td>Conj</td></tr><tr><td>11</td><td>~(S v Z)</td><td>10</td><td>DM</td></tr></table>