intuitionistic logic

الإنجليزية - الإنجليزية

تعريف intuitionistic 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

الواصلة

intuitionistic log·ic

المترادفات

constructivist logic

المتضادة

classical logic