Implikacija izjav A in B je sestavljena izjava, ki jo lahko beremo na različne načine. Izjava A je pogoj ali privzetek, izjava B pa posledica izjave A.
Povezavo označimo z znakom ⇒ ali z besedami "če...potem" ali "iz...sledi" ali "pri pogoju".
Implikacija je pravilna v vseh primerih, razen ko je pogoj pravilen, posledica pa nepravilna.
| A | B | A ⇒ B |
|---|---|---|
| p | p | p |
| p | n | n |
| n | p | p |
| n | n | p |
Primer:
A: V besedi matematika je 5 črk. (n)
B: 2 + 2 = 4. (p)
A ⇒ B: Če je v besedi matematika 5 črk, potem je 2 + 2 = 4. (p)
Ugotovi, katera sestavljena izjava je pravilna, če ti povem, da sta izjavi "dežuje" in "ceste so mokre" pravilni.
Če dežuje, potem ceste niso mokre.Katere povedi predstavljajo implikacijo?
Če je štirikotnik kvadrat ali romb, potem ima vse stranice enako dolge.