Implikacją o poprzedniku p i następniku q nazywamy zdanie "jeśli p to q" i oznaczamy p => 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).

Prawo zaprzeczenia implikacji:

$\neg \left(p\Rightarrow q\right)\iff \left(p\wedge \neg q\right)$  

---

a) Implikacja jest fałszywa, bo