一階述語論理
一階述語論理（いっかいじゅつごろんり、英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。 述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。
一階述語論理（いっかいじゅつごろんり、英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。 述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。
一階述語論理（いっかいじゅつごろんり、英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。 述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。
出典: Wikipedia「一階述語論理」 · CC BY-SA 4.0
この記事を共有: X · Bluesky