Implikacją o poprzedniku  $p$  i następniku  $q$  nazywamy zdanie "jeśli  $p$  to  $q$  " i oznaczamy  $p\Rightarrow q.$  

Implikacja jest prawdziwa wtedy, gdy poprzednik i następnik są prawdziwe oraz wtedy,

gdy poprzednik jest fałszywy (wówczas następnik może być prawdziwy lub fałszywy).

$\text{a)}$  Warszawa jest stolicą Polski. - zdanie prawdziwe

Gdański nie jest stolica Polski.  - zdanie prawdziwe

Jeżeli Warszawa jest stolicą Polski, to Gdańsk nie jest stolicą Polski. - zdanie prawdziwe

$\text{b)}$  Odra przepływa przez Wrocław. - zdanie prawdziwe

Warta przepływa przez Kraków. - zdanie fałszywe

Jeżeli Odra przepływa przez Wrocław, to Warta przepływa przez Kraków. - zdanie fałszywe

$\text{c)}$  Księżyc jest gwiazdą. - zdanie fałszywe