古典逻辑将上帝的真理和健全理性视为基督信仰的基础。理性由一系列逻辑步骤组成，在本例中以圣经、个人经验和教会伟大传统为依据。

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

条件命题的真值表如下：

 

P   Q   如果 P 则 Q   P 且 非-Q

1   1         1                     0

1   0         0                     1

0   1         1                     0

0   0         1                     0

 

注意，条件命题在除了 P 为真且 Q 为假的情况外都是为真的。因此，如果我们假定 P 为真并证明每当 P 为真时 Q 必然为真，那么真值表的第二行就永远不会成为现实，我们可以说 if P then Q 恒为真。但是注意真值表中已增加了第四列。如果可以证明 P and not-Q 永远不可能为真，那么 if P then Q 就永远不可能为假。

我们从假定 P and not-Q 为真开始，并证明这种假设会导致矛盾。

考虑以下例子：

 

P = 上帝无法在旧约原稿中指出任何错误教导

Q = 旧约原稿是受神默示的。

 

P and not-Q = 上帝无法在旧约原稿中指出任何错误教导 并且 旧约原稿 并非 是受神默示的。

换言之，即使旧约原稿并非受神默示且由至少 40 位不同作者在约 1000 年间撰写，上帝仍将其视为无误且不犯错。这样的结论与整个人类历史相悖。