1、形式逻辑是研究思维的 形式 及其 规律    的科学。
2、概念的内涵越多，则外延 越小 ；内涵越少，则外延 越大 ；这种关系叫反变关系。
3、概念的矛盾关系是指 a、b 两概念的外延   没有任何部分重合 ，其外延之和 等于其属概念的
外延。如金属和非金属。
4、定义是揭示概念 内涵 的逻辑方法，划分是揭示概念 外延 的逻辑方法。
5、当 O 判断为真时，同素材的判断 A 假 ；E 真假不定；I 真假不定 。
6、当 O 判断为假时，同素材的判断 A 真；E 假   ；I 真 。
7、当 A 判断为真时，同素材的判断 E 假   ；O 为假；I 真 。
8、当 A 判断为假时，同素材的判断 E   真假不定 ；O 为假；I  真假不定  。
9、关系判断由 关系者项 、关系项和 量项 三部分组成。
10、在模态判断中，必然 p 和可能 p 之间是 差等 关系；必然非 p 与可能 p 之间是 矛盾 关系。
11、在“有 S 不是 P”中，逻辑变项是 S,P ；逻辑常项是 有……不是 。
12、一个判断的主项周延，则这个判断是 全称 判断；一个判断的谓项周延，则这个判断是 否定
判断 ...