7.1.1 Introducción de cierto

Ésta es la más fácil que hay:

$$\begin{fitch*} \par \hline \par & \blacksquare & I$\blacksquare$ \par \end{fitch*}$$

O sea, que siempre, y sin ningún requisito, podemos dejar escrito que $\blacksquare$ es cierto, porque siempre lo es.