6.5 Saltar-se passos

Encara que coneguis equivalències entre fórmules, és molt millor si no les uses. Per exemple, si et toca escriure la negació de $\neg P$, no pots posar $P$ directament, sinó que s'ha de posar $\neg\neg P$.

Pensa que no tot és tan obvi com sembla, i que et poden demanar demostrar coses com $P\vdash\neg\neg P$, a on si poguessis usar les simplificacions, gairebé no hi hauria treball a fer.

Per exemple, passar de tenir $\neg(A\vee B)$ en una línia a tenir $\neg A\wedge\neg B$ a la següent no es pot justificar amb cap de les 9 regles. Però si aconsegueixes demostrar i comprendre que $\neg(A\vee B)\vdash\neg A\wedge\neg B$, aleshores podries afegir-ho com una regla addicional per usar-la en futures demostracions. Dono vàries d'aquestes a la propera secció.