Mathematics
Boolean Algebra
f-alpha.net » Mathematics » Algebra » Boolean Algebra » Let's go... » Experiment 13 - Double Negation Law

# Experiment 13 - The Double Negation Law

This law corresponds with the double negation in the classic logic...a double negated statement is equivalent to the non-negated statement...

$$\neg(\neg A) = A$$
 Comparison Arithmetic - Boolean algebra The double negation law also applies to arithmetics... $$-(-x) = x$$