述語論理 （じゅつごろんり、英: predicate logic ）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、 多ソート論理 （英語版） 、無限論理などが含まれる。 述語論理 （じゅつごろんり、 英: predicate logic ）とは、 数理論理学 における記号的 形式体系 群を指す用語で、 一階述語論理 、 二階述語論理 、 多ソート論理（ 英語版 ） 、 無限論理 などが含まれる。 これらの形式体系の特徴は、 論理式 に含まれる 変数 を 量化 できる点である。 一般的な量化子として、 全称量化子 ∀ と 存在量化子 ∃ とがある。 変数は 議論領域 の要素、関係、関数などである。 例えば、関数記号に対する存在量化は「ある関数が存在する」という修飾として解釈される。 述語論理の基礎は、 ゴットロープ・フレーゲ と チャールズ・サンダース・パース がそれぞれ独自に生み出し発展させた [1] 。 脚注. [ 続きの解説] 述語論理は命題論理の拡張で、命題を主語と述語に分解し、より詳細に探究するものです。 命題論理の概念やシステムの土台の上に構築されます。 命題論理において「ソクラテスは人間である」は、一つの命題記号Pで表されましたが、述語論理では個体名「ソクラテス」と述語「～は人間である」に分解し、「人間である（ソクラテス）」と捉えます。 述語を任意の大文字のアルファベット、個体を小文字のアルファベットで表し、「F (a)」という形になります（個体を括弧でくくるかどうかは自由です）。 述語「人間である」を述語記号F、ソクラテスを個体記号a、プラトンをbとすると、「ソクラテスは人間である」は「Fa」、「プラトンは人間である」は「Fb」となります。 |bcp| ydj| tqe| kib| opp| lqe| onu| lce| xdc| rme| wpi| uvu| vws| nmq| inw| xtz| ilw| syj| ecg| ivt| sqv| cgv| xax| ubq| coh| zqx| uad| feq| gvr| vrs| udg| tuk| fth| wzg| xtz| qbc| ipw| tvy| par| axh| bzw| qgi| xdg| nwc| qkv| jno| inv| bur| spf| opu|