什么是直言命题

直言命题

直言命题是表征事物类之间的包含或不包含关系的命题，如：

例13-1 所有哲学家都是聪明人。

例13-2 没有哲学家是聪明人。

或者类的部分之间，如：

例13-3 有些哲学家是聪明人。

或类的部分与另一个类的全部之间，如：

例13-4 有些哲学家不是聪明人。

有四种类之间的关系与直言命题相关：

一个类的全部包含在另一个类中，完全包含。

两个类完全排斥，完全不包含。

一个类的部分包含在另一个类之中，部分包含。

一个类的部分排除在另一个类的全部外延之外，部分不包含。

上述直言命题的例子中，“哲学家”是主项，“聪明人”是谓项。这些是直言命题的逻辑，而非语形（语法）主谓项。它们分别指谓一个类：每个类表达的是其元素的共仅属性。因此，“哲学家”指谓哲学家的类，“聪明人”指谓聪明人的类。

直言命题例13-1～例13-4说明了“哲学家”类与“聪明人”类之间的包含或不包含关系。这些关系可由下列方式表示：

例13-1a 所有哲学家都是聪明人。

例13-2a 没有哲学家是聪明人。

例13-3a 有些哲学家是聪明人。

例13-4a 有些哲学家不是聪明人。

在亚里士多德（公元前384—公元前322）创建的传统逻辑中，表示直言命题逻辑形式的标准符号如下：“S”表示主项，“P”表示谓项。使用这些符号，上述直言命题的逻辑形式是：

Loading...

未加载完，尝试【刷新】or【关闭小说模式】or【关闭广告屏蔽】。

尝试更换【Firefox浏览器】or【Chrome谷歌浏览器】打开多多收藏！

移动流量偶尔打不开，可以切换电信、联通、Wifi。

收藏网址：www.ziyungong.cc

(＞人＜；)