じゅつごろんり【述語論理】 記号論理学で，命題の内部構造である主語と述語との関係を中心に分析する論理。