Jesteś tu: SzkołaLogikaPrawa rachunku zdańPrawo podwójnej negacji

Prawo podwójnej negacji

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