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).

Równoważnością zdań   oraz   nazywamy zdanie "  wtedy i tylko wtedy, gdy  " i oznaczamy   

Równoważność dwóch zdań jest prawdziwa tylko wtedy, gdy tworzące ją zdania mają tę samą

wartość logiczną, tzn. oba są prawdziwe lub oba są fałszywe.

 zdanie prawdziwe (poprzednik jest fałszywy) 

 zdanie prawdziwe (poprzednik jest fałszywy)

 zdanie fałszywe (poprzednik jest prawdziwy, a następnik jest fałszywy)

 zdanie fałszywe (zdanie po lewej stronie znaku równoważności jest prawdziwe,

a drugie zdanie jest fałszywe)

 zdanie prawdziwe (oba zdania są fałszywe)

 zdanie fałszywe (zdanie po lewej stronie znaku równoważności jest prawdziwe,

a drugie zdanie jest fałszywe)