Jesteś tutaj: Szkoła → Rachunek zbiorów i logika → Logika → Prawa rachunku zdań → Prawo wyłączonego środka
◀ Metoda zero-jedynkowa dowodzenia tautologii
Prawo sprzeczności ▶

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\)