⠀
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\)
◀ Metoda zero-jedynkowa dowodzenia tautologii
Prawo sprzeczności ▶