一階述語論理 - Wikipedia

一階述語論理（英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（英: second-order predicate logic）と呼び、さらなる一般化を加えた述語論理を高階述語論理（英: higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細はそれぞれの記事を参照。 概要[編集] 命題論理との差異[編集] 命題論理では文を構成する最も基本的な命題（原子命題）は命題記号と呼ぶ一つの記号によって表していた。それに対し、一階述語論理においては、最も基本的な命

[otori334]

有理数の梯子と同じ法則に従って形成された項の集合のすべて（？） 命題論理

[sin16waki]

命題論理 - Wikipedia http://t.co/SD5lFYa1 :: 一階述語論理 - Wikipedia

[omega314]

『ZFC は一階述語論理を用いて形式化されており、数学の大部分はそのように形式化された ZFC の中で行うことができる。』『二階述語論理（およびそれ以上の高階述語論理）では、述語および関数に対する量化を導入する』

[ghostbass]

論理/ 1.変数と定数記号はすべて項 2.(変形)x,yが項で f(x,y) ならば f(x,y)は項 3.1と2によって項とされるものだけが項

[gologo13]

一階述語論理は、数学のほぼ全領域を形式化するのに十分な表現力を持っている。一階述語論理は一般に、有限あるいは再帰的に枚挙可能な公理集合および、そこから導出可能な式から成る。

[n-e]

"命題論理にない一階述語論理の特徴は量化 (quantification) である。φ を任意の論理式としたとき、∀xφ と ∃xφ が新たに導入される。"

[WhatAmILookingFor]

一階述語論理（いっかいじゅつごろんり、first-order predicate logic）あるいは述語論理 (predicate logic) は、数理論理学の形式体系のひとつであり、命題論理を拡張したものである

[heis101]

「命題論理を拡張したもの。命題論理にない一階述語論理の特徴は量化。一階述語論理は、数学のほぼ全領域を形式化するのに十分な表現力を持つ。二階以上の高階述語論理では、述語記号に対して量化子を導入する」

[msk]

数学記号とか