1.　用語の定義と解説

1.2　論理演算に関係する用語

　或る判断を与える主語と述語の関係を拒否すること、または、打ち消すこと。「二重否定は肯定と同じ」という論理法則を「二重否定律」と言います。「敵の敵は味方」と言う論理は、二値論理学の法則です。三値論理学では必ずしも成立しない論理です。中立もあります。