|
一階述語論理（いっかいじゅつごろんり、first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（にかいじゅつごろんり、second-order predicate logic）と呼ぶ。それにさらなる一般化を加えた述語論理を高階述語論理（こうかいじゅつごろんり、higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細は「二階述語論理」「高階述語論理」を参照。 == 概要 == === 命題論理との差異 === 命題論理では文を構成する最も基本的な命題（原子命題）は命題記号と呼ぶ一つの記号によって表していた。それに対し、一階述語論理においては、最も基本的な命題は原子論理式と呼ぶ記号列によって表す。原子論理式とは述語記号と呼ぶ記号と、項と呼ぶものの列、からなる ''P t''1 … ''t''''n'' という形の記号列であり、これは個体の間の関係を表すものである。 命題論理にない一階述語論理のもう一つの特徴は量化 (quantification) である。例えば、定言的命題論理の範囲において、次のような推論の妥当性を扱うことはできない： :すべての人間は死ぬ。 :ソクラテスは人間である。 :したがってソクラテスは死ぬ。 一階述語論理では、このような「すべての…について」という表現や、また「ある…について」といった表現を扱えるように、全称量化記号 (universal quantifier) と呼ぶ記号 ∀ と存在量化記号 (existential quantifier) と呼ぶ記号 ∃ を新たに導入する。これらを用いると「すべての ''x'' について φ である」という命題は ∀''x''φ 、「ある ''x'' に対して φ である」は ∃''x''φ と表される。これらの記号を用いると上の三つの文はそれぞれ、例えば、 :∀x (''Px'' → ''Qx'') :''Pa'' :''Qa'' のように記号化することができる。ここで、''Px'' と ''Qx'' はそれぞれ「''x'' は人間である」「''x'' は死ぬ」を表し、''a'' はソクラテスを表すことを意図している。上の日本語による定言命題推論の妥当性は不決定的だが、仮言命題推論化されるならば、一階述語論理において ''Qa'' が、 の論理的帰結 (logical consquence) であるという事実に反映される。一般に、論理式 φ が論理式の集合 Σ の論理的帰結であるとは、Σ の論理式のすべてをみたす解釈は必ず φ もみたすこととして定義され、これは、あるいくつかの前提からある結論が論理的に導かれるという概念の数学的な定式化である。 命題論理においては、論理式の解釈は各命題記号に対する真理値 0 , 1 の割り当て与えられた。これに対して、一階述語論理の論理式の解釈は構造 (structure) と呼ばれ、これは領域 (universe, domain) と呼ぶ空でない集合と、それぞれの非論理記号（述語記号・関数記号・定数記号）の "意味" の割り当てからなる。領域とは「すべての ''x'' について」といったときの ''x'' が動きうる値の範囲である。一階述語論理の論理式は構造を一つ与えることによって真偽が決定される。 二階述語論理（およびそれ以上の高階述語論理）では、述語および関数に対する量化を導入する。 :''Pa'' :''Qa'' のように記号化することができる。ここで、''Px'' と ''Qx'' はそれぞれ「''x'' は人間である」「''x'' は死ぬ」を表し、''a'' はソクラテスを表すことを意図している。上の日本語による定言命題推論の妥当性は不決定的だが、仮言命題推論化されるならば、一階述語論理において ''Qa'' が、 の論理的帰結 (logical consquence) であるという事実に反映される。一般に、論理式 φ が論理式の集合 Σ の論理的帰結であるとは、Σ の論理式のすべてをみたす解釈は必ず φ もみたすこととして定義され、これは、あるいくつかの前提からある結論が論理的に導かれるという概念の数学的な定式化である。 命題論理においては、論理式の解釈は各命題記号に対する真理値 0 , 1 の割り当て与えられた。これに対して、一階述語論理の論理式の解釈は構造 (structure) と呼ばれ、これは領域 (universe, domain) と呼ぶ空でない集合と、それぞれの非論理記号（述語記号・関数記号・定数記号）の "意味" の割り当てからなる。領域とは「すべての ''x'' について」といったときの ''x'' が動きうる値の範囲である。一階述語論理の論理式は構造を一つ与えることによって真偽が決定される。 二階述語論理（およびそれ以上の高階述語論理）では、述語および関数に対する量化を導入する。 領域 (universe, domain) と呼ぶ空でない集合と、それぞれの非論理記号（述語記号・関数記号・定数記号）の "意味" の割り当てからなる。領域とは「すべての ''x'' について」といったときの ''x'' が動きうる値の範囲である。一階述語論理の論理式は構造を一つ与えることによって真偽が決定される。 二階述語論理（およびそれ以上の高階述語論理）では、述語および関数に対する量化を導入する。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「一階述語論理」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 First-order logic 」があります。 スポンサード リンク
|