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

---

 

$\text{a)}$  Każdy prostokąt jest równoległobokiem. - zdanie prawdziwe

Każdy romb jest kwadratem. - zdanie fałszywe

Jeżeli każdy prostokąt jest równoległobokiem, to każdy romb jest kwadratem. - zdanie fałszywe