No.1040の記事

もう少し遊びましょう

命題「p⇒q」とは、「¬(p∧¬q)」のこと。(「『pであって、かつqでない』ことはない」と読みます。例えば、「雨が降るならば傘を差す」とは「『雨が降っていて傘を差さない』ことない」ですよね。

つまり

「Windowsを使うならばMS-DOSを使っている」

ことを証明するには、

「『Windowsを使いかつMS-DOSを使っていない』ことはない」

ことを示します。

これを否定して矛盾を導く論証を「背理法」と言いますが、

『Windowsを使いかつMS-DOSを使っていない』

ことはあり得ません。そもそもWindowsはMS-DOSのカーネルの上に作られてきたのですから(今のNT系統は別ですよ)。これは事実に反するわけです。

よって証明終わり■

同様に「始めの契約(モーセ律法)」(MS-DOS)は「後の契約(いのちの法則)」(Windows)よりも劣りますが(これはヘブル書の語る事実です)、その原理は神の聖による愛と義に基づくものですから、後者は前者を否定しません(これは同意事項)。むしろ当然に含むわけです。よって上の証明がそのまま適用されるわけですね。