类与直言命题
亚里士多德三段论逻辑，主要探讨的是关于不同对象类之间相互关系的论证。
Class:类
- Class类，指的是
共有certain specific property:某种特定属性的objects:所有对象的collection:汇集。
第3章在解释词项内涵的定义时，已经简单地介绍过"class:类"这个概念。
Relations of Classes
任何人都能立刻明白两个类至少可以有如下三种相互关系：
1.wholly included(or wholly contained):
如果一个类的所有元素都是另一个类的元素，则称:
第一个类wholly included(包含于)或wholly contained(包括在)第二个类；
例如人的类与哺乳动物的类。
2.如果一个类中有元素但不是所有元素都是另一个类的元素，例如运动员