排中律 Law of excluded middle を、Principle of Bivalence ともいうのか。「二値性の原理」かな。 矛盾律 Law of contradiction （無矛盾律 Law of noncontradiction）は、排中律の双対になっている。
T
----------- 排中律
(A | ￢A)
(A , ￢A)
----------- 矛盾律
⊥
排中律 Law of excluded middle を、Principle of Bivalence ともいうのか。「二値性の原理」かな。 矛盾律 Law of contradiction （無矛盾律 Law of noncontradiction）は、排中律の双対になっている。
T
----------- 排中律
(A | ￢A)
(A , ￢A)
----------- 矛盾律
⊥