Ley del absurdo

Género: material didáctico.
Autor: Ricardo Mazón Fonseca.

Desde luego que en lógica existen contradicciones:

"Mi hermana es buena onda y no es buena onda"

es tan absurdo como decir

"Si   anochece, entonces dormiré y no dormiré".

¿Qué se puede concluir? En ambos casos que la proposición es falsa: en el primero, porque una cosa no puede ser y no ser al mismo tiempo y en el mismo sentido; en el segundo, porque la proposición molecular está compuesta de una conjunción que es falsa y ésta a la vez es el consecuente falso de una condicional con un antecedente verdadero, por lo tanto la condicional es falsa.

Esto se expresa así:

(1)               A & ¬A

(2)               ¬A           Ab 1

O:

(1)               B à C & ¬C

(2)               ¬B           Ab 1

Ab es la nomenclatura de la ley del absurdo.