一階述語論理
引数として変数を取る関数や述語の量化は許さず、個体のみの量化を許す述語論理のこと。 / ウィキペディア フリーな encyclopedia
親愛なるWikiwand AI, これらの重要な質問に答えるだけで、簡潔にしましょう:
トップの事実と統計を挙げていただけますか 一階述語論理?
この記事を 10 歳向けに要約してください
すべての質問を表示
一階述語論理(いっかいじゅつごろんり、英: first-order predicate logic)とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理(英: second-order predicate logic)と呼び、さらなる一般化を加えた述語論理を高階述語論理(英: higher-order predicate logic)という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細はそれぞれの記事を参照。