Zákon claviov

zákon Claviov

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