Zákon vylúčeného tretieho

zákon vylúčeného tretieho

- tautológia výrokovej logiky (p \/ żp).