排中律
$ A\lor\neg A
.
排中律 - Wikipedia
古典論理
では二重否定 (
否定の否定
) の除去
$ \neg\neg A\to A
に等しい
二重否定の導入
$ A\to\neg\neg A
は
排中律
と區別できる
直觀主義論理
では
排中律
は成立しない
Principle of bivalence - Wikipedia