prdicate lgic n. 【論理】 述語論理《論理学の一分野で, 命題論理を含み, さらに命題の内部構造を個体記号と述語に分けて量化詞の働きに依存する推理形式を探究する; quantification theory ともいう》.