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>

6.  Bob and Carol are both logic students.  All logic students are ambitious. Anyone who is ambitious studies hard.  Therefore, Bob and Carol study hard. <P>
<B>FaFbA, FGD, GHD |- HaHbA</B><P>

1. FaFbA<BR>
2. FGD<BR>
<U>3. GHD  \show HaHbA</U><BR>
4. FHD......2,3 DD inf<BR>
5. FaHaC....4 D elim<BR>
6. FbHbC....4 D elim<BR>
7. Fa.......1 A elim<BR>
8. Fb.......1 A elim<BR>
9. Ha.......5,7 C elim<BR>
10. Hb......6,8 C elim<BR>
11. HaHbA...9,10 A int<BR>





<script type="text/javascript"><!--
function SiteStats_2402(){
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_2402();
//--></script><noscript><img src="http://www.internetlogic.org/cgi-bin/sitestats.gif?p=http%3A%2F%2Fwww.internetlogic.org%2Fspring01%2Fslip28f.htm;r=-;t=2402;" width=1 height=1 alt="sitestats"></noscript>