Jun Seita's Web

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

同一律: the law of identity

ＡはＡである。

矛盾律: the law of contradiction

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

排中律:　the law of exclude middles

矛盾の中間はない。