述語論理
(述語論理学 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/08/25 15:40 UTC 版)
（じゅつごろんり、英: predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、 全称量化子 ∀ と存在量化子 ∃ とがある。変数は議論領域の要素、関係、関数などである。例えば、関数記号に対する存在量化は「ある関数が存在する」という修飾として解釈される。述語論理の基礎は、ゴットロープ・フレーゲとチャールズ・サンダース・パースがそれぞれ独自に生み出し発展させた[1]。
注釈
出典
- ^ Eric M. Hammer: Semantics for Existential Graphs, Journal of Philosophical Logic, Volume 27, Issue 5 (October 1998), page 489: "Development of first-order logic independently of Frege, anticipating prenex and Skolem normal forms"
- ^ 例えば、(Stolyar 1970, p. 166)。 (Hamilton 1978)では、どちらも calculus だとしているが、形式的なものと非形式的なものに分類している。
[続きの解説]
「述語論理」の続きの解説一覧
- 1 述語論理とは
- 2 述語論理の概要
- 述語論理学のページへのリンク
