逻辑方阵

又称逻辑正方形。传统逻辑用来表示具有相同素材（即主项和谓项分别相同）的A（全称肯定命题）、E（全称否定命题）、I（特称肯定命题）、O（特称否定命题）四种命题形式之间的真假制约关系的图式。它们之间的关系共有4种。