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