Implikatsioon

Allikas: Vikipeedia

Implikatsioon ehk materiaalne implikatsioon ehk järeldus[viide?] on binaarne loogikatehe, mis vastab seosele "kui..., siis...". [1]

Implikatsiooni tõeväärtustabel
X Y X→Y
v v t
v t t
t v v
t t t

kus X on antetsedent ehk eesliige ja Y - konsekvent ehk tagaliige.

Viited[muuda | muuda lähteteksti]