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

Równoważnością zdań  $p$  oraz  $q$  nazywamy zdanie " $p$  wtedy i tylko wtedy, gdy  $q$ " i oznaczamy  $p\iff q.$  

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.

$\text{a)}$  zdanie prawdziwe (poprzednik jest fałszywy)