対立の二乗、従来の論理では、4つの形式のカテゴリカル命題（qv）、またはステートメント、およびそれらのペアワイズ関係とともに同じ主語と述語を示す図
ここで、A、E、I、およびOは、「すべてのフォームであるSがあり、Pいいえ」「SがあるP、 」「いくつかのSがあり、P 」と「いくつかのSはないP.、広場に示すように、」 「白鳥はすべて白」は「白鳥が白ではない」とは反対であり、「白鳥の中には白ではない」とは矛盾しています。これらの形式の1つから別の形式（サブオルタネーションのように）に引き出された結論は、即時推論によって得られたと言われています。
