什么是用对换命题法证明条件命题为真的方法？

古典逻辑代表了上帝的真理和健全的理性，是基督信仰的基础。理性由一系列逻辑步骤构成，在本例中基于圣经、个人经验和教会的伟大传统。

一些基本的逻辑原则可在《逻辑预备》部分的科学家与技术人员基督徒理性与洞见手册中找到。在本节中，我们考察用于证明条件命题确为真的对当法（Contrapositive Method）。条件命题用if P then Q表示，其中命题P和命题Q各自的形式为（α是β）。   同样，真可以用1表示，假可以用0表示。

if P then Q的对当命题定义为if not-Q then not-P。

条件命题及其对应对当命题的真值表如下：

P   Q   if P then Q   if not-Q then not-P

1   1         1                           1

1   0         0                           0

0   1         1                           1

0   0         1                           1

一个条件命题与其逆否命题具有相同的真值表。

注意，逆否命题在除非 not-Q 为真且 not-P 为假的情况下为真。因此，如果我们假定 not-Q 为真并证明只要 not-Q 为真则 not-P 为真，那么真值表的第二行将永远不会出现，我们可以说命题 if not-Q then not-P，以及相应的 if P then Q，始终是 true。

考虑以下例子：

P = 上帝不能在旧约手稿中指出任何错误教义

Q = 旧约手稿是上帝所默示的。

not-Q = 旧约手稿不是上帝所默示的。

not-P = 上帝可以在旧约手稿中指出一项或多项错误教义。

可以为论证假定 not-Q 为真。认为只要 not-Q 为真则 not-P 为真的断言，基于这样一个事实：这39卷旧约书籍是在大约1000年的时间内由至少40位不同作者所写。若没有神的默示，至少有一位作者会犯至少一个错误。