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 la lógica se pueden encontrar en la “Preliminares Lógicos” de Manual Cristiano de Razón y Perspicacia para Científicos y Tecnólogos.  En esta sección, examinamos el Método Contrapositivo 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.

El contrapositivo de si P entonces Q se define como si no-Q entonces no-P. 

La Tabla de Verdad para una proposición condicional y el contrapositivo correspondiente se da por:

 

P   Q   si P entonces Q   si no-Q entonces no-P

1   1         1                           1

1   0         0                           0

0   1         1                           1

0   0         1                           1

 

Una proposición condicional y la proposición contraria tienen la misma tabla de verdad.

Observe que una proposición contraria es verdadera a menos que not-Q sea verdadera y not-P sea falsa.  Por lo tanto, si postulamos que not-Q es verdadera y demostramos que not-P es verdadera siempre que not-Q es verdadera, entonces la segunda fila de la tabla de verdad nunca será realidad y podemos decir que las proposiciones si no-Q entonces no-P, y correspondientemente, si P entonces Q  son siempre verdaderas.

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.

 

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

not-P = Dios puede identificar una o más enseñanzas falsas en los autógrafos del Antiguo Testamento.

 

La verdad de not-Q puede ser postulada a modo de argumento.  La afirmación de que not-P es verdadera siempre que not-Q es verdadera se basa en el hecho de que los 39 libros del Antiguo Testamento fueron escritos durante un período de aproximadamente 1000 años por al menos 40 autores diferentes.  En ausencia de inspiración divina, al menos un autor habría cometido al menos un error.