直言命題的對當關係
正文
傳統邏輯關於直言命題之間真假關係的總稱。設 S、P代表直言命題的主項和謂項的外延,S和P兩類之間有且只有五種關係。這五種關係可用歐拉圖解表明如下:在這五種情況下,SAP、SEP、SIP和SOP四種形式的直言命題的真假情況有如下表:由此表可知:①SAP與SEP不同真,可同假,這種真假關係叫做反對關係。②SAP與SOP、SEP與SIP不同真,不同假,這是矛盾關係。③SAP與SIP、SEP與SOP可同真,可同假,而且前者真時後者也真,後者真時前者不必真,這是差等關係。④SIP與SOP可同真,不同假,這是下反對關係。傳統邏輯把這六對命題之間的四種真假關係總結成一個圖形,叫做邏輯方陣:![直言命題的對當關係](/img/f/bd1/nBnauM3XygjM5kjMyADNwgDM5ETMwADMwADMwADMwADMxAzL0AzLygzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![直言命題的對當關係](/img/4/a19/nBnauM3X1AzN1AzMyADNwgDM5ETMwADMwADMwADMwADMxAzL0AzL1AzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![直言命題的對當關係](/img/3/ce6/nBnauM3X4IDM2EzMyADNwgDM5ETMwADMwADMwADMwADMxAzL0AzL4IzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)