二階述語論理
二階述語論理（にかいじゅつごろんり、英：second-order predicate logic,
SOL
)
個体の量化に加えて
述語
や関数の量化を許す述語論理
二階述語論理 - Wikipedia
#論理
#論理学
#述語論理
#形式論理