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\) |
Tematy nadrzędne i sąsiednie
| \(p\) | \(\sim p\) | \(p \lor (\sim p)\) |
| \(1\) | \(0\) | \(1\) |
| \(0\) | \(1\) | \(1\) |