二階述語論理
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである。 二階述語論理もさらに高階述語論理や型理論に拡張される。
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである。 二階述語論理もさらに高階述語論理や型理論に拡張される。
二階述語論理（にかいじゅつごろんり、英: second-order predicate logic）あるいは単に二階論理（にかいろんり、英: second-order logic）は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである。 二階述語論理もさらに高階述語論理や型理論に拡張される。
出典: Wikipedia「二階述語論理」 · CC BY-SA 4.0
この記事を共有: X · Bluesky