11/11/05 22:32:31.65
>>245
まったくそのとおりである、私はさらにその考えを推し進めようとしている。
注意すべきは論理的述語は引数に直接項をとることができない。
これは既存の1階述語論理と同様である。
（いや、∀と∃の存在保証が失われた今、1階というのは意味をなさない言い方か。）
さて、今述語論理の言語は以下の述語を持つ。
論理的述語変数 L0、L1、L2、...
論理的述語定数 -
非論理的述語変数 R1、R2、R3...
非論理的述語定数 -
ここで論理式の定義と比較したとき、ある事実に気が付くだろう。
論理式の非論理的述語は引数に項をとる。
論理式の論理的述語は引数に非論理的述語と論理的述語をとる。
つまり項で非論理的述語の真偽が決まり、非論理的述語で論理的述語の真偽が決定する。