邏輯方陣

又稱邏輯正方形。傳統邏輯用來表示具有相同素材(即主項和謂項分別相同)的A(全稱肯定命題)、E(全稱否定命題)、I(特稱肯定命題)、O(特稱否定命題)四種命題形式之間的真假制約關係的圖式。它們之間的關係共有4種。這4種關係的真假制約情況如下:
(1)反對關係,即A與E這兩種命題形式之間的關係:二者不能同真,即一個真,另一個必假;但二者可以同假,即當一個假時,另一個可真可假。
(2)下反對關係,即I與O這兩種命題形式之間的關係:二者不能同假,即一個假時,另一個必真;但二者可以同真,即當一個真時,另一個可真可假。
(3)矛盾關係,即A與O、E與I這兩對命題形式之間的關係:二者既不能同真,也不能同假。
(4)差等關係,即A與I、E與O這兩對命題形式之間的關係:全稱命題真,特稱命題必真;全稱命題假,特稱命題真假不定;特稱命題真,全稱命題真假不定;特稱命題假,全稱命題必假。

相關詞條

熱門詞條

聯絡我們