6.1 Enigo kaj forigo de ``tio kio plej plaĉas min''

La derivreguloj de enigo kaj forigo ne eblas verki kion vi plej ŝatas, ĉar ilia celo estas nur helpigi uzi aŭ generi formulon kun konkreta operatoro.

Tial, se vi havas $P$, ne diru ``mi nun faras kunnegigon kaj eltrovas $\neg P$, kiun mi ĵus bezonis''. Ekzistas kelkaj kondiĉoj por ĉiu regulo, kaj se ili ne estas plenumitaj, vi ne povas apliki la regulon.

Jen ekzemplo (pardonu se bildoj havas hispanajn notojn): la derivregulo elimplikaciigo ne ebligas atingi formulon el la unua linio.

$$\begin{fitch} \par P \Rightarrow Q \wedge R \\ \par Q \wedge... ...end{fitch} {\textcolor{red}{\bigotimes INCORRECTO \bigotimes}}$$

Tio estus permesita, se oni vere scius ke ĉiam certas $P$; tial oni povus apliki la regulon, bone skribinte liniajn numerojn.