邏輯方陣

又稱邏輯正方形。傳統邏輯用來表示具有相同素材（即主項和謂項分別相同）的A（全稱肯定命題）、E（全稱否定命題）、I（特稱肯定命題）、O（特稱否定命題）四種命題形式之間的真假制約關係的圖式。

基本介紹

• 中文名：邏輯方陣
• 關係1：反對關係
• 關係2：下反對關係
• 關係3：矛盾關係
• 關係4：差等關係

它們之間的關係共有4種。這4種關係的真假制約情況如下：

（1）反對關係，即A與E這兩種命題形式之間的關係：二者不能同真，即一個真，另一個必假；但二者可以同假，即當一個假時，另一個可真可假。

（2）下反對關係，即I與O這兩種命題形式之間的關係：二者不能同假，即一個假時，另一個必真；但二者可以同真，即當一個真時，另一個可真可假。

（3）矛盾關係，即A與O、E與I這兩對命題形式之間的關係：二者既不能同真，也不能同假。

（4）差等關係，即A與I、E與O這兩對命題形式之間的關係：全稱命題真，特稱命題必真；全稱命題假，特稱命題真假不定；特稱命題真，全稱命題真假不定；特稱命題假，全稱命題必假。