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