7.1 Regles de cert i fals

Podem treballar directament amb els valors $\blacksquare$ (cert) i $\square$ (fals), i també ficar-los o fer-los fora de la nostra demostració amb regles senzilles.