Jesteś tu: Działy tematyczneLogikaPrawa rachunku zdańPrawo wyłączonego środka

Prawo wyłączonego środka

Prawo wyłączonego środka - to następująca tautologia:
\[p \lor (\sim p) \]
Dowodzimy ją metodą zero-jedynkową:
\(p\) \(\sim p\) \(p \lor (\sim p)\)
\(1\) \(0\) \(1\)
\(0\) \(1\) \(1\)