Materiell implikation

Logisk operator (Logisk grind)
Negation (NOT) Konjunktion (AND, NAND) Disjunktion (OR, XOR, NOR) Implikation Ekvivalens (XNOR)
Se även
Logisk operator (konnektiv) Sanningsfunktion Sanningsvärdetabell De Morgans lagar
Denna tabell: visa • redigera

Materiell implikation är ett konnektiv inom satslogiken, som oftast betecknas med symbolen →. Med p och q symboliserande påståenden, skall satsen p → q utläsas som: om p, så q. Den skall tolkas som sann, utom då den första satsen är sann och den andra falsk. Den materiella implikationen introducerades av den tyska logikern Gottlob Frege 1879 och kom att användas av såväl Bertrand Russell som de logiska positivisterna.

Innebörden av den materiella implikationen missförstås ofta. Satsen: om p så q, och som skrivs p → q, är inte en implikation i den bemärkelsen, att det skulle råda något logiskt eller kausalt samband mellan p och q. Den kan heller inte tolkas så, att q kan härledas från p. Att en sats materiellt implicerar en annan, betyder inom satslogiken endast, att det icke är så, att den första satsen är sann och den andra falsk.