Copyright (c) レディースアイテム All Rights Reserved.

クレジットカード一覧

クレジットカード一覧ページ

キャッシング一覧 キャッシング用語 リンク1 リンク2


用語

二階述語論理(にかいじゅつごろんり、英: second-order predicate logic)あるいは単に二階論理(にかいろんり、英: second-order logic)は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである。二階述語論理もさらに高階述語論理や型理論に拡張される。

高階述語論理(こうかいじゅつごろんり、英: Higher-order logic)は、一階述語論理と様々な意味で対比される用語である。