又称逻辑正方形。传统逻辑用来表示具有相同素材（即主项和谓项分别相同）的A（全称肯定命题）、E（全称否定命题）、I（特称肯定命题）、O（特称否定命题）四种命题形式之间的真假制约关系的图式。
它们之间的关系共有4种。这4种关系的真假制约情况如下：
（1）反对关系，即A与E这两种命题形式之间的关系：二者不能同真，即一个真，另一个必假；但二者可以同假，即当一个假时，另一个可真可假。
（2）下反对关系，即I与O这两种命题形式之间的关系：二者不能同假，即一个假时，另一个必真；但二者可以同真，即当一个真时，另一个可真可假。
（3）矛盾关系，即A与O、E与I这两对命题形式之间的关系：二者既不能同真，也不能同假。
（4）差等关系，即A与I、E与O这两对命题形式之间的关系：全称命题真，特称命题必真；全称命题假，特称命题真假不定；特称命题真，全称命题真假不定；特称命题假，全称命题必假。