Complement of Complement (Boolean Algebras)

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\struct {S, \vee, \wedge, \neg}$ be a Boolean algebra.


Then for all $a \in S$:

$\map \neg {\neg a} = a$


Proof

Follows directly from Complement in Boolean Algebra is Unique.

$\blacksquare$


Sources