4.10 No hay más reglas

Pues ya está, no hay más reglas básicas. Aún hay otras para cuantificadores y dos de cierto y falso, que explico más adelante, pero con estas nueve ya se puede intentar demostrar la validez de cualquier secuente de este documento (excepto los de cuantificadores...).

Recuerda otra vez que no hay más reglas: no puedes cambiar de $A\vee\neg A$ a $\blacksquare$ (cierto) directamente, ni de $\neg(A\vee B)$ a $\neg A\wedge\neg B$, ni usar la propiedad distributiva, asociativa, o conmutativa. Lo tienes que hacer todo paso por paso; no se permiten ni siquiera los cambios sencillos (de momento). ¿Por qué? Porque quizás no son tan sencillos como crees: ya lo verás cuando te toque demostrar que $A\vee\neg A$ es siempre cierto... (está en la siguiente sección).