Prawo podwójnej negacji - to następująca tautologia:
\[ p \Leftrightarrow \sim(\sim p) \]
Dowodzimy ją metodą zero-jedynkową:
| \(p\) | \(\sim p\) | \(\sim(\sim p)\) | \(p \Leftrightarrow \sim(\sim p)\) |
| \(1\) | \(0\) | \(1\) | \(1\) |
| \(0\) | \(1\) | \(0\) | \(1\) |
W ostatniej kolumnie otrzymaliśmy same jedynki, zatem udowodniliśmy, że prawo podwójnej negacji jest tautologią.