25/11/08 18:04:03.37 P9qVEF++.net
>>511
>第一章の１．４に述語論理出てくるけど、
>カラスの世田はこんな基本的なことも
>何ひとつ全然理解できてないよ（バッサリ）
>URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
ご苦労さまです
(引用開始)
1.4 述語論理
これまで命題と論理演算を組み合わせてより複雑な命題を構成したり推論形式の有効性を議論してきた
そこで展開してきた論理体系を命題論理と呼ぶ
しかしながら命題論理では真偽が確定する命題だけを扱うため数学の基礎付けとしては守備範囲が極めて限定的で不十分である
命題論理を拡張して変数を含む命題を扱うことのできる論理体系を述語論理という
現代数学のほとんどの部分は述語論理によってカバーされる
■命題関数変数(扱う対象は数とは限らないので変項ともいう)を含む主張でその変数を特定するごとに真偽の確定する命題になるものを命題関数といいP(x),Q(x,y)のような記号で表す
ここでx,yを自由変数と呼ぶ
(引用終り)