形式論理学 (formal logic) の3つの基本原則

同一律: the law of identity

AはAである。

矛盾律: the law of contradiction

AはBである。AはBでない。
これら二つの命題が成立することはできない。ともに成立しないこともできない。

排中律: the law of exclude middles

矛盾の中間はない。

August 4, 2005