直観主義論理における扱い
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/02 16:01 UTC 版)
「対偶 (論理学)」の記事における「直観主義論理における扱い」の解説
上述の対偶の性質は古典論理におけるそれであり、非古典論理においては成立しない場合がある。例えば直観主義論理においては、必ずしも「AならばB」とその対偶「BでないならばAでない」の真偽は一致しない。 直観主義論理の特徴として、排中律の不成立（あるいは二重否定の除去の制限）があげられるが、対偶の性質はこの制限の影響を受け成立しない。なお「AならばB」から「BでないならばAでない」は、直観主義論理においても導出可能である。
※この「直観主義論理における扱い」の解説は、「対偶 (論理学)」の解説の一部です。
「直観主義論理における扱い」を含む「対偶 (論理学)」の記事については、「対偶 (論理学)」の概要を参照ください。
ウィキペディア小見出し辞書の「直観主義論理における扱い」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 直観主義論理における扱いのページへのリンク
