Principio de explosión 1

Principio de explosión
El principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la
lógica intuicionista) según el cual de una proposición contradictoria se puede deducir cualquier otra proposición. En
otras palabras, todo es demostrable cuando se tiene una contradicción. A los sistemas que de alguna manera evitan
esta consecuencia, se los llama sistemas no explosivos. Un ejemplo de un razonamiento según el principio de
explosión podría ser:
1. El Sol es una estrella y no es una estrella.
2. Por lo tanto, la Luna está hecha de queso.
Las consecuencias obviamente indeseables del principio de explosión son una fuerte razón para querer evitar los
sistemas lógicos y formales inconsistentes.
El principio de explosión se puede expresar formalmente como:

O en la notación del cálculo de secuentes:

donde A y B son metavariables que pueden ser reemplazadas por cualquier proposición o fórmula.
El principio de explosión también se conoce por las locuciones latinas ex falso (sequitur) quodlibet y ex
contradictione (sequitur) quodlibet, que significan «de lo falso (se sigue) cualquier cosa» y «de una contradicción (se
sigue) cualquier cosa», respectivamente.

Demostración
El principio de explosión no es en realidad un principio, sino una regla derivada, es decir que puede demostrarse a
partir de las reglas básicas de la lógica proposicional.

A demostrar:

Paso Fórmula Razón

1 Supuesto.

2 Desde (1) por eliminación de la conjunción.

3 Desde (1) por eliminación de la conjunción.

4 Desde (2) por introducción de la disyunción.

5 Desde (3) y (4) por silogismo disyuntivo. Q.E.D.

Véase también
• Principio de no contradicción
• Razonamiento deductivo
• Reducción al absurdo
Fuentes y contribuyentes del artículo 2

Fuentes y contribuyentes del artículo

Principio de explosión  Fuente: http://es.wikipedia.org/w/index.php?oldid=31225271  Contribuyentes: Aloriel, Dodo, HUB, Luis Felipe Schenone, Yonderboy

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/