7.1.1 Introducció de cert

Aquesta és la més fàcil que hi ha:

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

O sigui, que sempre, i sense cap requisit, podem deixar escrit que $\blacksquare$ és cert, perquè sempre ho és.