Implikaatio (logiikka)
Implikaatio (tunnetaan myös nimellä looginen seuraus, implikoi tai jos ... niin) on looginen operaatio. Se on väitteiden välinen suhde, joka pitää paikkansa, kun yksi väite loogisesti "seuraa" yhdestä tai useammasta toisesta.
Implikaatioita on kaksi. Se palauttaa väärän tuloksen, jos ja vain jos ensimmäinen termi on tosi ja toinen termi on epätosi.
Tämä voi olla ongelmallista, koska se tarkoittaa, että väärästä lauseesta voi seurata mitä tahansa.
Esimerkkejä
Seuraavassa esitetään (pätevä) implikaatio
- Kaikki ihmiset ovat kuolevaisia (he kuolevat).
- Aristoteles on ihminen
- Siksi Aristoteles on kuolevainen
Katso nyt seurauksia Lupaan, että jos olen terve, tulen tunnille. Mahdollisuuksia on neljä:
- Olen terve ja tulen tunneille. Olen pitänyt lupaukseni.
- Olen terve, enkä tule tunnille. En ole pitänyt lupaustani.
- En ole terve, ja tulen kyllä tunnille. Olen pitänyt lupaukseni.
- En ole terve, enkä tule tunneille. Olen pitänyt lupaukseni.
Toisessa skenaariossa luvatut seuraukset olivat vääriä ja lupaus rikottiin.
