什麼是直言命題

直言命題

直言命題是表徵事物類之間的包含或不包含關係的命題，如：

例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谷歌瀏覽器】開啟並收藏！

移動流量偶爾打不開，可以切換電信、聯通網路。

收藏網址：www.peakbooks.cc

(＞人＜；)