「全称量化」を解説文に含む見出し語の検索結果(111～120/194件中)
ナビゲーションに移動検索に移動この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。出典検索?: "依存型" –&#...
動的意味論（どうてきいみろん）は、論理学や自然言語意味論において、「文の意味」というものを「文脈を更新する能力」として扱う枠組みである。静的意味論では、文の意味を知ることはその文がいつ真となるかを知る...
動的意味論（どうてきいみろん）は、論理学や自然言語意味論において、「文の意味」というものを「文脈を更新する能力」として扱う枠組みである。静的意味論では、文の意味を知ることはその文がいつ真となるかを知る...
論理記号の一覧（ろんりきごうのいちらん）では、論理学における記号について解説する。論理記号は、当学問分野で広く論理的表現を表すのに用いられている。以下の表は多くの一般的な記号について、それらの名称と読...
数学におけるトポス（topos）とは、位相空間上の層のなす圏を一般化した概念である。アレクサンドル・グロタンディークによるヴェイユ予想解決に向けた代数幾何学の変革の中で、数論的な図形（スキーム）の上で...
数学におけるトポス（topos）とは、位相空間上の層のなす圏を一般化した概念である。アレクサンドル・グロタンディークによるヴェイユ予想解決に向けた代数幾何学の変革の中で、数論的な図形（スキーム）の上で...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
数理論理学においてロビンソン算術(英: Robinson arithmetic)あるいはロビンソンのQとはペアノ算術(PA)の有限部分理論であり、Robinson (1950)において最初に導...
数理論理学の分野での、証明論において、二重否定翻訳（にじゅうひていほんやく、Double-negation translation、ときに否定翻訳とも）は、古典論理を直観主義論理に埋め込む一般的なアプ...