Zákon reflexivity implikácie

zákon reflexivity implikácie

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