4.10 No hi ha més regles

Doncs ja està, no n'hi ha més de bàsiques. Encara hi ha algunes que parlen de quantificadors i dos de cert i fals, que explico més endavant, però amb aquestes nou ja es pot intentar demostrar la validesa de qualsevol seqüent d'aquest document (excepte els que tenen quantificadors...).

Recorda altre cop que no hi ha més regles: no pots canviar de $A\vee\neg A$ a $\blacksquare$ (cert) directament, ni de $\neg(A\vee B)$ a $\neg A\wedge\neg B$, ni usar la propietat distributiva, associativa, o commutativa. Ho has de fer tot pas a pas; ni tan sols els canvis senzills estan permesos (de moment). Per què? Perquè potser no són tan senzills com creus: ja ho veuràs quan et toqui demostrar que $A\vee\neg A$ és sempre cert... (està a la següent secció).