11/11/06 08:53:31.44
さて、いよいよ本論に入ろう。
前回、真偽の決定可能な論理式は1階以上の述語とした。
一方でn階の述語はそれ以下の階層の述語を引数にとるとした。
ここで項も論理式に加えてしまうのが合理的だと思わないだろうか。
また2階以上の階層の真偽が同様に決定するのも不自然だ。
はじめてに論理式の定義を以下のように書き換える。
・従来の変数は0階の論理式である。
・従来の関数は1階の論理式である。
・従来の述語は2階の論理式である。
・従来の論理的述語は3階の論理式である。
さらに
・n階の論理式はそれ以下の論理式を引数に持つ。
ここで問題が発生する。f(x)∧y、a＜(b＜c) のようなものが発生する。
これは容易に解決する。