以下(
から
までの議論)を見てみます。
を証明するには
、
、
、
、…のすべてを証明するか、または
、
、
、
、…のすべてを証明するか、または
、
、
、
、…のすべてを証明するか、または…
、
、
、
、…のすべてを証明すれば十分ということがわかります。
ここで は述語式
と
が一致するとき真、一致しないとき偽となるもので、述語式として書くこともできます。
これは
を証明すれば十分ということがわかります。
言葉で書くとわかりやすく書けそうにないので、次は PLP の数学的定義をして、その後でできればまた説明したいと思います。