(2) All G is M

No S is M

∴ No S is G

(3) All M is G

All M is S

∴ Some S is G

(1b) Indicate by symbols the three terms of the following syllogisms:

(1) No trees are men,

All rational beings are men,

∴ No rational being is a tree.