La lógica clásica representa la Verdad de Dios y la Razón Sana es la base de la fe cristiana.  La razón comprende una secuencia de pasos lógicos basados, en este caso, en la Escritura, la experiencia personal y las grandes tradiciones de la Iglesia.

Algunos principios básicos de lógica se pueden encontrar en la parte de “Preliminares Lógicos” del Manual Cristiano de Razón y Perspicacia para Científicos y Tecnólogos.  En esta sección, examinamos el Método de Contradicción para demostrar que una proposición condicional es, de hecho, verdadera.  Una proposición condicional se representa por si P entonces Q, donde la tesis P y la tesis Q son cada una de la forma (α es β).   Además, verdadero puede ser representado por 1 y falso puede ser representado por 0.

La Tabla de Verdad para una proposición condicional se da por:

 

P   Q   si P entonces Q   P y no-Q

1   1         1                     0

1   0         0                     1

0   1         1                     0

0   0         1                     0

 

Observe que una proposición condicional es verdadera a menos que P sea verdadera y Q sea falsa.  Por lo tanto, si postulamos que P es verdadera y demostramos que Q es verdadera siempre que P sea verdadera, entonces la segunda fila de la tabla de verdad nunca será realidad y podemos decir que si P entonces Q es siempre una afirmación verdadera.  Pero observe que se ha añadido una cuarta columna a la tabla de verdad.  Si se puede demostrar que P y no-Q nunca puede ser verdadero, entonces si P entonces Q nunca puede ser falso. 

Comenzamos postulando que P y no-Q es verdadero y mostrando que tal suposición conduce a una contradicción.

Considere el siguiente ejemplo:

 

P = Dios no puede identificar una sola enseñanza falsa en los autógrafos del Antiguo Testamento

Q = Los autógrafos del Antiguo Testamento fueron inspirados por Dios.

 

P y no-Q = Dios no puede identificar una sola enseñanza falsa en los autógrafos del Antiguo Testamento y los autógrafos del Antiguo Testamento no fueron inspirados por Dios.

En otras palabras, a pesar de que los autógrafos del Antiguo Testamento no fueron inspirados por Dios y fueron escritos durante un período de 1000 años por al menos 40 autores diferentes, Dios los considera infalibles e inerrantes. Tal conclusión es contraria a toda la historia humana.