述語論理とは? - 日本語辞典 Mazii

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ 述語論理

述語論理

述語論理（じゅつごろんり、英: predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理（英語版）、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、全称量化子 ∀

Từ điển Nhật - Nhật

Các từ liên quan tới 述語論理

一階述語論理

一階述語論理（英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（英:

高階述語論理

高階述語論理（こうかいじゅつごろんり、英: Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。例えば、その違いは量化される変項の種類にも現われている。一階述語論理では、大まかに言えば述語に対する量化ができない。述語を量化できる論理体系については二階述語論理に詳しい。

二階述語論理

二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである。二階述語論理もさらに高階述語論理や型理論に拡張される。

述語

じゅつご

(1)文の成分の一。文中で「何がどうする」「何がどんなだ」「何が何だ」における「どうする」「どんなだ」「何だ」にあたる語または文節をいう。「花が散る」「頬(ホオ)が赤い」「あれが駅だ」における「散る」「赤い」「駅だ」の類。

理論

事象と比較して簡潔であり、さらに既存の知識や常識とは反する自明ではない結論を導き出し、しかも原因としての独立変数と結果の従属変数を繋ぐ枠組みが明快でなければならない。最後に理論はその真偽を問うことが可能な性質、つまり反証可能性を保持しなければならない。以上の理論の対象となっている事象の重要性や実務的な実践性を加えることもできる。

理論言語学

言語学。仮説検証法という部分を強調するために「経験科学としての言語学」と言う場合がある。形式言語学を同義に用いることもあるが、必ずしも数理的方法を採用しているわけではない。広義には仮説検証法による言語の研究はすべて理論言語学

論語

子張の「士は危うきを見ては命を致す」という言葉に始まる。この篇の大体が孔子の門人たちの言葉のみ記されている。特に高弟の言が多く、孔子に類するような言葉などが多いとされる。凡そ二十五章。堯曰（ぎょうえつ）第二十「堯曰く、咨（ああ）、爾（なんじ）舜」という堯の言葉に始まる。この篇は凡そ三章で

述語変換意味論

derivation of programs" であった。述語変換意味論では、命令型プログラミング言語の意味論（プログラム意味論）を定義するため、その言語の各「コマンド」に「述語変換子; Predicate Transformer」を対応させる。「述語変換子」は、プログラムの部分について2つの述語を対応させる全体関数である。