Implikacja to wynikanie zdania q ze zdania p. Oznaczamy ją symbolem p⇒q i czytamy: „jeśli p to q”. Implikacja jest fałszywa tylko wtedy, gdy z prawdziwego zdania wynika fałszywe: 1⇒0. Przykłady.