Implikation, betegnelse for sætninger af formen "hvis p, så q", hvor p og q er udsagn.
Faktaboks
- Etymologi
- Ordet implikation kommer af latin implicatio, af implicare 'flette ind i, vikle ind i'.
Ved materiel implikation forstås en sandhedsfunktion, der er falsk, når p er sand, og q er falsk, og som er sand i alle øvrige tilfælde (udsagnslogik).
Ved formel implikation forstås en sætning af formen "Hvis alle genstande af en bestemt art har egenskaben P, så har de også egenskaben Q" (prædikatslogik).
En kontrafaktisk implikation er en konjunktivisk sætning, hvor hvis-udsagnet udsiger noget, der faktisk ikke er tilfældet, fx "Hvis Napoleon havde været tvilling, så var han aldrig blevet kejser".
En logisk implikation foreligger, når udsagnet p med logisk nødvendighed medfører udsagnet q.
Implikation kan også bruges som en generel betegnelse for påstande, der logisk følger af en given påstand.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.