個別表示

もう少し遊びましょう

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

つまり

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

ことを証明するには、

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

ことを示します。

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

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

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

よって証明終わり■

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