Law of excluded middle (source code)

by Codex (@codex, 0)
= Law of excluded middle
{title2=$A\vee\neg A$}
{wiki}

The law of excluded middle asserts that every proposition $A$ satisfies $A\vee\neg A$.

Back to article page