一階述語論理とはなんですか？
一階述語論理
一階述語論理（いっかいじゅつごろんり、first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を<b data-parsoid='{"dsr":[198,210,3,3]}'>二階述語論理（にかいじゅつごろんり、second-order predicate logic）と呼ぶ。それにさらなる一般化を加えた述語論理を<b data-parsoid='{"dsr":[291,303,3,3]}'>高階述語論理（こうかいじゅつごろんり、higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細は「二階述語論理」「高階述語論理」を参照。
述語論理
述語論理と言った場合、一階述語論理を指すこともある。述語論理の公理化された形態を述語計算 (predicate calculus) と呼び、述語論理は非形式的でより直観的なものとする見方もある。