7.1 Rules about truth and false

We can work directly with the values $\blacksquare$ (true) and $\square$ (false), and also introduce or eliminate them from our demonstration following some easy rules.