邏輯方陣

又稱邏輯正方形。傳統邏輯用來表示具有相同素材（即主項和謂項分別相同）的Ａ（全稱肯定命題）、Ｅ（全稱否定命題）、Ｉ（特稱肯定命題）、Ｏ（特稱否定命題）四種命題形式之間的真假制約關係的圖式。它們之間的關係共有４種。這４種關係的真假制約情況如下：
（１）反對關係，即Ａ與Ｅ這兩種命題形式之間的關係：二者不能同真，即一個真，另一個必假；但二者可以同假，即當一個假時，另一個可真可假。
（２）下反對關係，即Ｉ與Ｏ這兩種命題形式之間的關係：二者不能同假，即一個假時，另一個必真；但二者可以同真，即當一個真時，另一個可真可假。
（３）矛盾關係，即Ａ與Ｏ、Ｅ與Ｉ這兩對命題形式之間的關係：二者既不能同真，也不能同假。
（４）差等關係，即Ａ與Ｉ、Ｅ與Ｏ這兩對命題形式之間的關係：全稱命題真，特稱命題必真；全稱命題假，特稱命題真假不定；特稱命題真，全稱命題真假不定；特稱命題假，全稱命題必假。