Implikacija in ekvivalenca
Spoznali smo izjavne povezave, in sicer negacijo, konjunkcijo in disjunkcijo. V nadaljevanju bomo govorili o novih oblikah sestavljenih izjav.
IMPLIKACIJA je izjava oblike A
B (beremo: "iz A sledi B" oz. "če A, potem B"). Izjavo A imenujemo pogoj ali hipoteza, izjavo B pa posledica ali sklep.
Implikacija je nepravilna, če iz pravilnega pogoja sledi nepravilna posledica.
Implikacija je pravilna v vseh ostalih primerih.
Dopolni pravilnostno tabelo za implikacijo:
| A | B | A => B |
| p | p |
|
| p | n |
|
| n | p |
|
| n | n |
|

