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)