Fx: x is a logic student<BR>
Gx: x is ambitious<BR>
Hx: x studies hard<BR>
Jx: x is an exercise<BR>
Kx: x is easy<BR>
Fxy: x does y<BR>
a: Bob<BR>
b: Carol<P>


9.  Everyone who studies hard does all the exercises.  Carol is not doing all the exercises.  Therefore, Carol must not be studying hard. <P> 
<I>
Review the material on <A HREF="slip14.htm">working with binders</A>.  It may be easier to keep with conventional notation.</I><P>

<B>HxJyFxyCC, JyFNbyA |- HNb</B> <P>

1. HxJyFxyCC <BR>
<U>2. JyFNbyA \show HNb</U><BR>
3. JyFxyCNHNxC....1 C subs<BR>
4. JyFbyCNHNbC....3 x inst<BR>
5. JcFbcCNHNbC....4 y inst<BR>
6. JcFNbcAHNbC....6 CN subs<BR>
7. JcFNbcA.........2 y inst<BR>
8. HNb.............6,7 C elim<P>


<script type="text/javascript"><!--
function SiteStats_4958(){
var t=new Date();
var u='http://www.internetlogic.org/cgi-bin/sitestats.gif?p='+escape(location.href)+';r='+escape(document.referrer)+';t='+t.getTime();
document.writeln('<img src='+u+' width=1 height=1>');
 }
 SiteStats_4958();
//--></script><noscript><img src="http://www.internetlogic.org/cgi-bin/sitestats.gif?p=http%3A%2F%2Fwww.internetlogic.org%2Fspring01%2Fslip28i.htm;r=-;t=4958;" width=1 height=1 alt="sitestats"></noscript>