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ą.