（1）对于形式为SAP的命题，由于它所肯定的是S的外延全部包含在P的外延之中，所以SAP为真，在而且只在S与P的外延关系是全同关系或真包含于关系时，形式为SAP的命题才是真的。
（2）对于形式为SEP的命题，它所否定的是S的外延部分包含在P的外延之中，所以SEP为真，在而且只在S与P的外延关系是全异关系时，形式为SEP的命题才是真的。
（3）对于形如SIP的命题，它所肯定的是S的外延全部包含在P的外延之中，所以SIP为真，在而且只在S与P的外延关系是相容关系时，具有形式为SIP的命题才是真的。
（4）对于形如SOP的命题，它所否定的是S的外延全部包含在P的外延之中，所以SOP为真，在而且只在S与P的外延关系是真包含关系或交叉关系或全异关系时，具有形式为SOP的命题才是真的。

内涵：反映在概念中的对象，它所具有本质属性。
外延：具有概念所反映的本质属性的思维对象。

（1）不矛盾律。
（2）排中律。
（3）同一律。

（1）概念。
（2）命题。
（3）推理。

是从一般性前提获得个别性结论的推理方法。

是演绎、归纳和类比方法的总称。