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{fitch*} \par 1 & \fh P \Rightarrow Q & H \\ \par \ldo... ...nd{fitch*} {\textcolor{red}{\bigotimes INCORRECTO \bigotimes}}$$

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$.