じゅつご‐ろんり【述語論理】 (predicate logic)命題論理と共に現代論理学の中核をなす分野。命題論理がその基本構成単位として文よりも小さな単位を認めないのに対し、文が主語と述語とからできているという分析をもとに、文の内部構造にも立ち入った推論の形式化を行う。変項と量化子という仕組みによって、「すべての」「少なくともひとつの」といった量化表現を扱うことができる。↔命題論理 ⇒じゅつ‐ご【述語】