Zákon sporu

zákon sporu

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