命題A、Bが真であることの元に、命題C、Dが真であることを背理法により示す。

命題Cが偽であるとする。すると、命題Dも偽である。
この場合、真である命題A、Bと命題Dの真偽値が一致しないが、命題A、Bにより命題Dが偽であることは許されない。
よって命題Cは真である。命題Dも真である。

命題Cを真であると仮定する。
すると命題Dも真である。
このとき、命題Dは真偽値が命題A、Bと一致するので、命題Cは真である。

以上により、命題のつもりで示された全てのものは感覚的にも論理値としても真と自明なので、尋ねる人間はバカであることが

証明された。

【新しく命題E「1＝2」を考える。】
命題A、命題B、命題C、命題Dは真と明らかである。
よって、命題Eは真である。

1＝2は感覚的にも論理値としても真と自明なので、尋ねる人間はただのバカですね