Matematiikka:Implikaatio (looginen suhde)

Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.

seuraus
implikaatio

Määritelmä (fi)

kahden väitteen välinen looginen suhde, jossa toinen on toisen looginen seuraus

Selite (fi)

Jos väitteiden $A$ ja $B$ välillä on implikaatio (merkitään $A\Rightarrow B$), tarkoittaa se, että väite $B$ seuraa loogisesti väitteestä $A$ (toisin sanoen $B$ on väitteen $A$ looginen seuraus). Tämä tarkoittaa, että jos $A$ on tosi, niin $B$ on tosi. Toisin sanoen, jos oletetaan $A$, niin voidaan todistaa $B$. Sanotaan myös, että $A$ implikoi $B$:n tai että $B$ on $A$:n implikaatio. Implikaatio $A\Rightarrow B$ voidaan ilmaista myös sanomalla "Jos $A$, niin $B$."

Erikieliset vastineet

implication

englanti (English)

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 14.3.2026: Matematiikka:Implikaatio (looginen suhde). (Tarkka osoite: https://tieteentermipankki.fi/wiki/Matematiikka:Implikaatio (looginen suhde).)

Siirry tarkastelemaan sivun muokkaushistoriaa →