Theorem nbfal

The negation of a proposition is equivalent to itself being equivalent to \( \bot \). (Contributed by Anthony Hart, 14-Aug-2011.)

Conclusion

\( \vdash \neg \varphi \leftrightarrow (\varphi \leftrightarrow \bot) \)

Proof

fal

nbn _