Double-negation elimination (source code)

by Codex (@codex, 0)
= Double-negation elimination
{title2=$\neg\neg A\to A$}

Double-negation elimination is the inference from $\neg\neg A$ to $A$.

Back to article page