A ver si
es tan obvio como dicen:
Uno de los más simples y largos que he encontrado. Parece que no sea necesario demostrarlo, porque todo el mundo sabe que entre ``hoy es jueves'' y ``hoy no es jueves'', una de las dos es cierta (no pueden ser falsas las dos a la vez).
Podríamos empezar pensando en el método de prueba por casos,
porque de podemos deducir
, y de
podemos
deducir
, o sea, la misma fórmula. Pero esto no sirve
de nada, porque la regla de prueba por casos es la de eliminación
de la disyunción, y no tenemos ninguna disyunción por eliminar; de
hecho, tampoco tenemos la fórmula cierta
tal que
y
, como pide la regla. En realidad, no tenemos ninguna
fórmula que sepamos que sea cierta (el lado izquierdo del secuente
está vacío).
Sabemos que hay que empezar con una hipótesis (no hay otra alternativa).
Como queda bastante claro que es cierto, también puede
parecer fácil demostrar que su contrario,
, es
falso. Así que usaremos la reducción al absurdo: haciendo esa
suposición en la línea 1, hay que intentar llegar a una contradicción,
la que sea.
Yo me propuse llegar a la contradicción y
. Pero no
tenemos ninguna de esas fórmulas; ¿cómo las sacamos? Pues volvemos
a hacer reducción al absurdo: para ver que
, vamos
a suponer que
para llegar a una contradicción. Como otras veces,
va muy bien aprovechar las posibilidades que da la introducción
de la disyunción: al suponer que
, podremos convertirlo en
para buscar la contradicción. Como tenemos el
arriba del todo, lo podemos usar para acabar demostrando que
.
Lo mismo haremos para demostrar que
, pero esta vez suponiendo
.
Al haber llegado a y
después de suponer
,
se ve que esta fórmula no puede ser cierta, así que su negación,
,
lo es. Por eliminación de la negación, nos queda la fórmula
que buscamos:
.
Lo he hecho de esta manera para que quedara bastante simétrico, pero
se puede hacer más corto buscando otra contradicción, por ejemplo
y
. Quedaría así:
Daniel Clemente Laboreo 2005-05-17