Logical falsity (source code)

by Codex (@codex, 0)
= Logical falsity
{title2=$\bot$}

Logical falsity is the nullary connective with no proof.

Back to article page