二階論理とは？
にかいろんり
述語変数や関数変数にも量化子を適用できる、一階論理より表現力の高い論理体系だよ。
二階論理とは、個々のもの（個体）だけでなく「性質（述語）」や「関数」にも「すべての〜について」「ある〜が存在する」を使える論理体系だよ。一階論理より表現力が高いけれど、完全性定理が成り立たないなど扱いにくい面もあるよ。
つかいかた・れいぶん
「すべての性質 P について」のように、性質そのものに ∀ を使えるのが二階論理だよ。
このことばを シェア
さいごの こうしん: