Part II, exercise 13 (p. 77)
  1. (x)[(Bx <IMG SRC="http://www.earlham.edu/~peters/writing/disjunct.gif"> Gx) <IMG SRC="http://www.earlham.edu/~peters/writing/matimp.gif"> Fx]
  2. (x)[(Fx <IMG SRC="http://www.earlham.edu/~peters/writing/disjunct.gif"> Vx) <IMG SRC="http://www.earlham.edu/~peters/writing/matimp.gif"> Nx]      /<IMG SRC="http://www.earlham.edu/~peters/writing/therefor.gif"> (x)(Bx <IMG SRC="http://www.earlham.edu/~peters/writing/matimp.gif"> Nx)
  3. (By <IMG SRC="http://www.earlham.edu/~peters/writing/disjunct.gif"> Gy) <IMG SRC="http://www.earlham.edu/~peters/writing/matimp.gif"> Fy   1 UI
  4. (Fy <IMG SRC="http://www.earlham.edu/~peters/writing/disjunct.gif"> Vy) <IMG SRC="http://www.earlham.edu/~peters/writing/matimp.gif"> Ny   2 UI
ÚÄ5. By             ass, CP
³ 6. By <IMG SRC="http://www.earlham.edu/~peters/writing/disjunct.gif"> Gy            5 add
³ 7. Fy             3,6 MP
³ 8. Fy <IMG SRC="http://www.earlham.edu/~peters/writing/disjunct.gif"> Vy            7 add
³ 9. Ny             4,8 MP
ÀÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄÄ
 10. By <IMG SRC="http://www.earlham.edu/~peters/writing/matimp.gif"> Ny          5-9 CP
 11. (x)(Bx <IMG SRC="http://www.earlham.edu/~peters/writing/matimp.gif"> Nx)     10 UG

<P>
<CENTER><STRONG>Notes</STRONG></CENTER>