直観主義論理
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。 例えば古典論理では、全ての論理式に真か偽の真理値 ( { ⊤ , ⊥ } {\displaystyle \{\top ,\bot \}} ) が割り当てられる。
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。 例えば古典論理では、全ての論理式に真か偽の真理値 ( { ⊤ , ⊥ } {\displaystyle \{\top ,\bot \}} ) が割り当てられる。
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。 例えば古典論理では、全ての論理式に真か偽の真理値 ( { ⊤ , ⊥ } {\displaystyle \{\top ,\bot \}} ) が割り当てられる。
出典: Wikipedia「直観主義論理」 · CC BY-SA 4.0
この記事を共有: X · Bluesky