next up previous contents
Next: 6.4 Fini en subderivo Up: 6 Malkorektaĵoj Previous: 6.2 Ion kopii el   Contents

6.3 Mismeti la krampojn

Kiam mi verkis la regulajn difinojn, mi uzis literojn $A$ kaj $B$, sed tiuj ja povas reprezenti ian ajn esprimon.

Ekzemple, jen oni faras kunnegigon, kie -laŭ la regulo- oni supozas formulon $A$, atingas memkontraŭdiron, kaj konkludas ke $\neg A$, tio estas, la originalan formulon, sed negigitan. Oni vidu:


\begin{displaymath}\begin{fitch*}
\par
1 & \fh P \Rightarrow Q & H \\
\par
\ldo...
...nd{fitch*} {\textcolor{red}{\bigotimes INCORRECTO \bigotimes}} \end{displaymath}

Plej eble estas klare ke la $A$ ĉe tiu regulo reprezentas al $P\Rightarrow Q$ en ĉi tiu ekzemplo. Problemo aperas farante $\neg A$. La nego de $P\Rightarrow Q$ ne estas $\neg P\Rightarrow Q$, sed $\neg(P\Rightarrow Q)$. Estas nepre necesaj la krampoj ĉar, se oni ne metas ilin, la nego nur modifas $P$.

Se vi ne scias kiam metu krampojn, ilin metu ĉiam kaj poste forviŝu tiujn malnecesajn. Ekzemple, por skribi ke $\neg P\vee R$ entenas $R\wedge Q$, ĉirkaŭigu ĉiun esprimon per krampoj kaj do skribu $(\neg P\vee R)\Rightarrow(R\wedge Q)$. Tiel, vi certe maleraras. Nun lernu kiam eblas forigi krampojn, kaj forviŝu ĉiujn eblajn. Ĉe tiu okazo, la du estas sennecesaj kaj restas $\neg P\vee R\Rightarrow R\wedge Q$.



Daniel Clemente Laboreo 2005-05-17