Question 1191062
<font face="Times New Roman" size="+2">


<pre>
1.  C -> (~A v B)

2.  C & ~B                   |∴ ~A

3.  C                  2.    Simplification

4.  ~A v B             1,3.  Modus Ponens

5.  ~B                 2.    Simplification

6.  ∴ ~A               4,5.  Disjunctive Syllogism

</pre>

																
John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it
*[illustration darwinfish.jpg]

From <https://www.algebra.com/cgi-bin/upload-illustration.mpl> 
I > Ø
*[tex \Large \ \
*[tex \LARGE \ \ \ \ \ \ \ \ \ \  
								
{{n}\choose{r}}
</font>