Zákon vylúčeného tretieho

zákon vylúčeného tretieho

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