Zákon sporu

zákon sporu

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