Implikation (logik)
Implikation (även känd som logisk konsekvens, innebär eller Om ... då) är en logisk operation. Det är det förhållande mellan påståenden som gäller när ett av dem logiskt "följer av" ett eller flera andra.
Implikationer tar två argument. Den returnerar falskt om och endast om den första termen är sann och den andra termen är falsk.
Detta kan vara problematiskt, eftersom det innebär att en falsk sats kan leda till vad som helst.
Exempel
Följande visar en (giltig) implikation
- Alla människor är dödliga (de dör).
- Aristoteles är mänsklig
- Därför är Aristoteles dödlig
Se nu på konsekvenserna Jag lovar att komma till lektionen om jag är frisk. Det finns fyra möjligheter:
- Jag är frisk och kommer till lektionerna. Jag har hållit mitt löfte.
- Jag är frisk och kommer inte till lektionerna. Jag har inte hållit mitt löfte.
- Jag är inte frisk, men jag kommer till lektionerna. Jag har hållit mitt löfte.
- Jag är inte frisk och kommer inte till lektionerna. Jag har hållit mitt löfte.
I det andra scenariot var den utlovade implikationen falsk och löftet bröts.
