Ex falso, quodlibet
Además de ser un excelente software de reproducción y organización de música, “ex falso, quodlibet” es una expresión que me necanta. Está relacionada con la lógica clásica y viene a significar que, partiendo de una contradicción, se puede demostrar cualquier cosa, o lo que generalmente es lo mismo, a partir de una proposición falsa, se puede demostrar lo que quieras.
Este principio, llamado de explosión, tiene varias demostraciones, la más sencilla que he encontrado, con un claro ejemplo, es:
A y ¬A : suponemos que el Partido Popular es de centro y que no lo es.
A : el Partido Popular es de centro (eliminación de la conjunción).
¬A : el Partido Popular no es de centro (eliminación de la conjunción).
¬A o B: o el Partido Popular no es de centro, o yo soy Supermán (introducción de la disyunción).
B : el Partido Popular es de centro, luego yo soy Supermán (silogismo disyuntivo).
(A y ¬A) –> B : si el Partido Popular es y no es de centro, yo soy Supermán (prueba por condicional).
La demostración proviene de un artículo en la Wikipedia.
