6.4 Acabar dentro de una subdemostración

No puedes acabar la deducción dentro de una subdemostración. La última línea no tiene que tener ninguna rayita vertical a la izquierda.

La razón es que todo lo de dentro de la subdemostración es válido sólo cuando se cumple la suposición, y lo que nos piden en el enunciado es demostrar que lo que hay a la derecha del $\vdash$ se cumple siempre.

Ejemplo de alguien con mucha cara que intenta demostrar $P\wedge Q$:


\begin{displaymath}\begin{fitch}
\par
\fh P & H \\
\par
\fa \fh Q & H \\
\par
...
...end{fitch} {\textcolor{red}{\bigotimes INCORRECTO \bigotimes}} \end{displaymath}

Se ha supuesto que $P$, y también que $Q$. En ese caso, claro que es cierto que $P\wedge Q$, pero sólo en ese caso. No podemos asegurar a nadie que $P\wedge Q$ sea cierto siempre. Por tanto, hay que ir cerrando las dos demostraciones (primero la de dentro, luego la de fuera) para sacar alguna conclusión que sea válida siempre.

Tampoco se podría hacer eso de iterar en la línea 4. Ya lo he explicado hace algunos apartados.

Daniel Clemente Laboreo 2005-05-17