Up 6.3.2 文生成システム  

　述語論理Tは，以下のように定義される文生成システムG＝(NＶ,TＶ,Ｐ,SEN) を土台とする。
  1. NＶは，命題論理のNＶに，
    TVR(註1)：変項生成に関
    TRM：項生成に関する
    を追加したもの。

  2. TＶは，命題論理のTＶに，論理記号
    ∀
    を追加したもの。

  3. Ｐは，命題論理のＰに，
    SEN → (∀(TVR))(SEN)
    TRM → TVR
    を追加したもの(註2)。


　命題論理が文をもたないので，述語論理も文をもたない。


（註１） TVR は,“Term-VaRiable"。


（註２） これは，文を，つぎのように再帰的に定義することに対応する：
    (1) 命題論理の文は，文；
    (2) 変項ｘと命題論理の文φに対し,(∀ｘ)φは文；
    (3) 上の(1),(2)の適用で生成されるもののみが，文．