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

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

一个条件命题的真值表如下：

 

P   Q   如果 P 则 Q

1   1         1

1   0         0

0   1         1

0   0         1

 

注意，一个条件命题除非 P 为真且 Q 为假，否则其为真。因此，如果我们假定 P 为真并证明每当 P 为真时 Q 也为真，那么真值表的第二行将永远不会成为现实，我们可以说 如果 P 则 Q 始终为真。

考虑以下例子：

 

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

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

 

P 的真实性可以根据圣子的话来假定。在祂道成肉身期间，耶稣声称受圣灵感动（路加福音 3:22；4:1；4:18），并且只教导祂从父那里所学的（约翰福音 8:28；14:24）。换言之，耶稣的教导就是神的教导。耶稣教导说他所能接触到的那些高度纯净的手稿是不容错的、无误的（马太福音 5:18；21:42；22:29；路加福音 24:44；约翰福音 5:39）。

当 P 为真时 Q 为真的断言基于这样的事实：39 卷旧约书籍是在大约 1000 年的时期内由至少 40 位不同作者写成的。在缺乏神的默示的情况下，至少有一位作者会犯至少一个错误。圣子没有指出任何错误的教导。