Implikacją o poprzedniku i następniku nazywamy zdanie "jeśli to " i oznaczamy
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).
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
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
Księżyc jest gwiazdą. - zdanie fałszywe