一階論理とは？
いっかいろんり
個体変数のみに ∀・∃ を適用する述語論理で、完全性定理が成立する数学の基礎的論理体系だよ。
一階論理とは、「すべての x（個体）について」「ある x（個体）が存在する」のように、個々のものだけに量化子を適用する論理体系だよ。数学の多くがこの体系で書けて、ゲーデルの完全性定理も一階論理に関するものだよ。
つかいかた・れいぶん
「すべての自然数について」のように、個体（数・もの）だけに ∀・∃ を使う論理が一階論理だよ。
このことばを シェア
さいごの こうしん: