6.1 Introducción y eliminación de ``lo que me venga bien''

Las reglas de introducción y eliminación no son para que puedas escribir lo que tú quieras, sino para ayudarte a utilizar o generar una fórmula con un operador concreto.

Por eso, si tienes $P$ no puedes decir ``pues ahora hago introducción de negación y consigo $\neg P$, que es lo que me hacía falta''. Hay unos cuantos requisitos para cada regla, y si no se cumplen no las puedes aplicar.

Ejemplo: la regla de eliminación de la implicación no permite acceder así a las fórmulas de la primera línea.

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

Para poder hacerlo, haría falta estar seguros de que $P$ es cierto siempre; entonces se podría aplicar la regla, escribiendo bien los números de línea.