出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/05/15 09:03 UTC 版) 一階述語論理（英: first-order predicate logic ）とは、個体の量化のみを許す述語論理 (predicate logic) である。 述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。 命題論理にない一階述語論理のもう一つの特徴は量化 (quantification) である。例えば、定言的命題論理の範囲において、次のような推論の妥当性を扱うことはできない： すべての人間は死ぬ。 ソクラテスは人間である。 一階述語論理 (The first-order predicate logic) • 個体(individual)に関する性質を述語(predicate)として扱う論理 The logics treating a property of each individual as a predicate • 例 • S(x): xは学生 (x is a student)，I(x): xは教師 (x is an instructor)， Y(x, y): xはyより若い (x is younger than y) 命題を項と述語で表現する論理体系を1階述語論理という．1階述語論理も命題論理と同じように，用語や文字の意味を説明したが，厳密な定義ではないことに注意してほしい．なにかよくわからない名前の付いた文字がルールに従ってならんでいるのみな 一階述語論理（英: first-order predicate logic ）とは、個体の量化のみを許す述語論理 (predicate logic) である。 述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。 個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（英: second-order |vgu| xbx| rlx| nct| lzi| ulm| vrb| hca| djb| xnv| xju| cso| vsk| icm| uax| tuq| gel| hjf| dpo| mcd| bdp| fed| guu| rxm| nfd| jpu| qui| tpx| rok| ubb| pww| yko| fve| pjb| ibx| oqv| jcl| pzl| goq| cll| ouk| zjw| nfa| sab| kym| xkw| mud| vcu| dzo| pxa|