7.1 Reglas de cierto y falso

Podemos trabajar directamente con los valores $\blacksquare$ (cierto) y $\square$ (falso), y también meterlos o sacarlos de nuestra demostración con reglas sencillas.