ウィキペディア

一階述語論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2011/10/03 08:00 UTC 版)

述語論理 (predicate logic) とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。 個体の量化のみを許す述語論理を一階述語論理（いっかいじゅつごろんり、first-order predicate logic）と呼び、個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（にかいじゅつごろんり、second-order predicate logic）と呼ぶ。それにさらなる一般化を加えた述語論理を高階述語論理（こうかいじゅつごろんり、higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細は「二階述語論理」「高階述語論理」を参照。