「ＡはＡである。」
＊「ＡはＢである。」も、ＡとＢが共通の要素をもつことを述べているので同じ形式である。

「Ａは非Ａでない。」
（二値論理の場合）

「ＡはＢか非Ｂかのいずれかである。」
（二値論理の場合）

知覚の同一律・矛盾律・排中律

参考：「カラクリ」のページ