Theorem tbtru

A proposition is equivalent to itself being equivalent to \( \top \). (Contributed by Anthony Hart, 14-Aug-2011.)

Conclusion

\( \vdash \varphi \leftrightarrow (\varphi \leftrightarrow \top) \)

Proof

tru

tbt _