逻辑精讲讲义人大教授超详解知识讲解.ppt

人大教授超详解几种基本的复合命题
关于存在量项“有的”（“有些”）

作为逻辑上的特称命题，当我们断定“有的S是P”，就是断定存在S是P，或者说有S是P，至于量上的多少则没有断定，可多可少，至少有一，也可以是全体。因此，特称命题也称为存在命题。例如，事实上所有的中国人是都是炎黄子孙，相应于这个事实，全称命题“所有的中国人都是炎黄子孙”是真的，特称命题“有些中国人是炎黄子孙”也是真的。
自然语言中直言命题的规范分析

（1）没有无因之果。
（2）天鹅不都是白的。
（3）鱼目岂能混珠。
（4）不少植物不是多年生的。

（1）可以整理为“所有的结果都是有原因的”，是A命题。
（2）可以整理为“有些天鹅不是白的”，是O命题。
（3）可以整理为“所有的鱼目都不是能混珠的”，是E命题。
（4）可以整理为“有些植物不是多年生的”，是O命题。
如果两个直言命题的主、谓项均相同，则称它们是同一素材的。如：
（1）所有的困难都是可以克服的。
（2）所有的困难都不是可以克服的。
（3）有些困难是可以克服的。
（4）有些困难不是可以克服的。
这四个直言命题是同一素材的，它们的主谓项均相同。再如：
（1）所有的天鹅都是白的。
（2）有的天鹅是黑的。
这两个命题不是同一素材的，它们的主谓项不尽相同。
同一素材的直言命题之间的真假关系，称为对当关系。

用下面的方形图来刻划对当关系。这个方形图称为逻辑方阵。
[思考]
已知：“所有的公民都要守法”真，求同一素材的其它命题的真假。
由条件，已知A命题真。
由矛盾关系，由A真可推知O假，即“有公民不要守法假”；
由从属关系，由A真可推知O真，即“有公民要守法”真；
由反对关系，由A真可推知E假，即“所有公民都不要守法”假。
记住以下等值式：[例]
已知“基本粒子不都可分”真，则据此不能确定真假的命题是（）。
（1）所有的基本粒子都可分。
（2）所有的基本粒子都不可分。
（3）有的基本粒子可分。
（4）有的基本粒子不可分。
A．仅（1）和（4）
B．仅（2）和（3）
C．仅（2）
D．仅（3）个体和类，个体和集合体两类关系有什么不同？