6.5 Saltarse pasos

Aunque conozcas equivalencias entre fórmulas, es mucho mejor si no las usas. Por ejemplo, si te toca escribir la negación de $\neg P$, no puedes escribir $P$ directamente, sino que tienes que poner $\neg\neg P$.

Piensa que no todo es tan obvio, y que te pueden pedir demostrar cosas como $P\vdash\neg\neg P$, en donde si pudieras usar las simplificaciones, no habría que trabajar casi nada.

Por ejemplo, pasar de tener $\neg(A\vee B)$ en una línea a tener $\neg A\wedge\neg B$ en la siguiente no se puede justificar con ninguna de las 9 reglas. Pero si consigues demostrar y entender que $\neg(A\vee B)\vdash\neg A\wedge\neg B$, podrías añadírtelo como un regla más para usarla en futuras demostraciones. Doy varias de éstas en la siguiente sección.