SciTech-Logic:逻辑学-IntroductiontoLogic:Irvine-5.2ClassandStatement类与直言命题A.质我们已经看到，每个标准直言命题或是肯定或是否定了某类关系。如果一个命题肯定了类与类之间的包含关系，不管是全部地还是部分地肯定，那么，它的质就是肯定的。因此，A命题（“所有S是P

类与直言命题亚里士多德三段论逻辑，主要探讨的是关于不同对象类之间相互关系的论证。Class:类Class类，指的是共有certainspecificproperty:某种特定属性的objects:所有对象的collection:汇集。第3章在解释词项内涵的定义时，已经简单地介绍过"class:类"这个概念。Relationso