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

<pre>

1.   (J v F) v M
2.   (J v M) -> ~P
3.   ~F               |    ~(F v P)

4.   (F v J) v M      1.   Commutativity
5.   F v (J v M)      4.   Associativity
6.   J v M            3,5. Disjunctive Syllogism
7.   ~P               2,6. Modus Ponens
8.   ~F & ~P          3,7. Conjunction Introduction
9.   ⸫ ~(F v P)       8.   DeMorgan
</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>