Implikacja

Implikacją nazywamy dwuargumentowe działanie logiczne które zdaniom $p,q$p,q przypisuje zdanie $p\Rightarrow q$p\Rightarrow q. Implikacja dwóch zdań jest fałszywa wtedy i tylko wtedy, gdy zdanie $p$p jest prawdziwe, a zdanie $q$q jest fałszywe. Implikację oznaczamy symbolem $p\Rightarrow q$p\Rightarrow q i czytamy “jeżeli $p$p to $q$q”.

Zdanie $p$p nazywamy poprzednikiem implikacji, a $q$q jej następnikiem.