高階述語論理とは - わかりやすく解説 Weblio辞書 (original) (raw)

| 556の専門辞書や国語辞典百科事典から一度に検索! | | | | --------------------------------------------------------------------------------------------------------------------------------------------------------- | | |

高階述語論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/08/30 17:28 UTC 版)

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

急上昇のことば

高階述語論理と同じ種類の言葉

高階述語論理のページへのリンク

辞書ショートカット

1 ウィキペディア

すべての辞書の索引

「高階述語論理」の関連用語

高階述語論理のページの著作権
Weblio 辞書情報提供元は参加元一覧にて確認できます。

| | | | | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | | All text is available under the terms of the GNU Free Documentation License.この記事は、ウィキペディアの高階述語論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。 |