7.1.1 Truth introduction

This is the easiest one:


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

So, always, and with no requirements, we can write down that $\blacksquare$ is true, because it really is.



Daniel Clemente Laboreo 2005-05-17