Fx: x is a logic student
Gx: x is ambitious
Hx: x studies hard
Jx: x is an exercise
Kx: x is easy
Fxy: x does y
a: Bob
b: Carol
7. Some logic students are not ambitious. Only ambitious individuals study hard. Therefore, some logic students do not study hard.
FGNE, HGD |- FHNE
Watch how the term only affects the positioning of the elements in the second premise.
1. FGNE
2. HGD \show FHNE
3. GNHND......2 D subs
4. FHNE.......1,3 ED inf