逻辑上指具有同一素材的A（全称肯定判断）、E（全称否定判断）、I（特称肯定判断）、O（特称否定判断）四种判断间的真假关系。这种关系用图式来表示，就是“逻辑方阵”。“必然P”、“必然非P”、“可能P”、“可能非P”这四种模态判断之间也具有类似的真假关系，因而也可称为对当关系。
