Prawa rachunku zdań
◀ Metoda zero-jedynkowa dowodzenia tautologii
Prawo sprzeczności ▶

Prawo wyłączonego środka

Drukuj
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\)
Tematy nadrzędne i sąsiednie
Prawa rachunku zdań
◀ Metoda zero-jedynkowa dowodzenia tautologii
Prawo sprzeczności ▶