6.4 Fini en subderivo

Oni ne rajtas fini dedukton ene de subderivo. La lasta linio malhavos tiun vertikalan maldekstran linieton.

La kialo estas ke ĉio el ene de subderivo estas vera nur kiam la supozo certas, kaj la originala problemo demandis pruvi ke tio el dekstre de la $\vdash$ ĉiam pravas.

Jen malekzemplo de iu aŭdaca kiu volas pruvi $P\wedge Q$:

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

Oni supozis $P$, kaj poste $Q$. Tiuokaze, kompreneble estas certa $P\wedge Q$, sed nur ĉe tiu okazo. Ne eblas aserti ke $P\wedge Q$ ĉiam estas certa. Tial, oni devas fermadi la du derivojn (unue la interna, kaj poste la ekstera) por eltrovi iun konkludon kiu ĉiaokaze certas.

Nek eblus apliki tiun regulon nomatan iteracion ĉe linio 4. Mi jam klarigis tion antaŭe.