Zákon reflexivity implikácie

Zákon reflexivity implikácie je tautológia výrokovej logiky (p -> p).

Externé odkazy 
 

Logika