Last Updated：2025/11/24
(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
intuitionistic logic
Edit Histories（0）
Source Word
intuitionistic logic
Noun
Japanese Meaning
直観主義論理：排中律（または同値で二重否定法則やピアースの法則）を拒否する論理体系であり、直観主義の基礎となる論理。
（ plural ）
