PLP のデータとなる項を定義します。 記号の有限集合 があってその元を定数と呼びます。定数は項となります。 記号の可算集合 があってその元を変数と呼びます。変数は項となります。 記号の有限集合 があってその元を関数と呼びます。関数 に対して という…

以下(からまでの議論)を見てみます。 を証明するには 、、、、…のすべてを証明するか、または 、、、、…のすべてを証明するか、または 、、、、…のすべてを証明するか、または… 、、、、…のすべてを証明すれば十分ということがわかります。 ここで は述語式 …