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)