Loading AI tools
形式論理の部類 ウィキペディアから
古典論理(こてんろんり、英: classical logic)は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理(英: standard logic)とも呼ばれる[1][2]。
以下に示す性質が特徴である:[3]
古典論理の非古典的意味に関して、古典論理の意図している意味論は、2値の意味論(en:Principle of bivalence(二値原理))である。しかし、代数的論理(en:Algebraic logic)の出現により、他の意味論を与えることもできることがあきらかになった。ブール値意味論(Boolean-valued semantics、en:Algebraic semantics (mathematical logic)を参照)(古典命題論理の)において、真理値は任意のブール代数(ブール束、en:Boolean algebra (structure))の元である; 「真」は代数の最大元に対応し、「偽」は最小元に対応する(最大と最小も参照)。代数の他の元は「真」と「偽」以外の真理値に対応する(訳注: 多値論理の真理値のこと)。2値となるのは、他の元を持たないブール代数(en:Two-element Boolean algebra)のときのみである。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.