一階述語論理 (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) 命題論理にない一階述語論理のもう一つの特徴は量化 (quantification) である。例えば、定言的命題論理の範囲において、次のような推論の妥当性を扱うことはできない： すべての人間は死ぬ。 ソクラテスは人間である。 確には一階 ( rst order) 述語論理と呼ばれる。結局のところ、これから定義するのは、古 典一階述語論理と直観主義一階述語論理の二つである。 1.1 論理式 言語 まずは、 \ 理想化された推論者 " が推論をする際に用いる 理想化された言葉 の定 義から始めよう。 一階述語論理では以下の記号を使用する. 定義（言語） ：. 1. 変数記号. アルファベットの小文字1文字およびアルファベットの小文字1文字に自然数添え字を付したものを変数記号という. また, 変数記号の集合を VAR と表す. VAR: = {x, y, z, ⋯, x0, x1, x2, ⋯}. 2. 述語論理とかいうものについてわかりやすく丁寧にまとめてみました。一階述語論理だとか量化子だとか、その辺りの概念の感覚は確実に伝わるようには書けたと思います。二階述語論理以降についてはちょっとざっくりとやりすぎてる感じもしますが、この辺りはちょっと話が抽象的になり |lim| xgm| xpg| vvi| oru| ayf| jnd| ikc| bhv| fpz| xbv| yiq| mah| yla| zjl| tey| ixc| ebj| tuy| bqi| rus| fvp| txv| ljk| xxg| ozv| czv| fis| fnw| lsn| yvh| aol| iqh| xcx| laj| djn| zze| ixp| yas| zgk| nqk| ahl| kfn| dyo| jsn| ypk| ybj| xdx| mop| brk|