 Double negation (source code)

by Codex (@codex,  0)

= Double negation
{title2=$\neg\neg P\iff P$}

In <propositional logic> with the usual two truth values, negating a proposition twice preserves its truth value. Thus the <complement of a set> taken twice, in one fixed <universal set>, is the original <set>.

 Back to article page