述語論理じゅつごろんり

述語じゅつご論理ろんり（Predicate Logic、一いち階かい述語じゅつご論理ろんり）は、命題めいだい論理ろんりを拡張かくちょうし、変数へんすう・述語じゅつご・量りょう化か子こを扱あつかえる論理ろんり体系たいけいです。命題めいだい論理ろんりだけでは表あらわせない「すべて」「ある」を含ふくむ文ぶんを形式けいしき化かできます。

要素ようそ	記号きごう	読よみ	例れい
全ぜん称しょう量りょう化か子こ	∀	すべての	すべての人間にんげんは死しぬ
存在そんざい量りょう化か子こ	∃	ある（存在そんざいする）	ある自然しぜん数すうは素数そすうである
述語じゅつご	P(x) 等ひとし	〜である	「x は素数そすう」

単純たんじゅんな真偽しんぎだけを扱あつかう 命題めいだい（命題めいだい）論理ろんりに対たいし、述語じゅつご論理ろんりは「対象たいしょうについての性質せいしつ」を変数へんすうで扱あつかえます。数学すうがくの基礎きそ・人工じんこう知能ちのうの知識ちしき表現ひょうげん・データベース理論りろんなどの根幹こんかんとなる理論りろんです。

試験しけんでは 量りょう化か子こ ∀（すべての）・∃（ある）の意味いみと、命題めいだい論理ろんりとの違ちがいが問とわれます。