Implikation

Uppslagsorden ”⇒” och ”⇐” leder hit. För andra betydelser, se → och ←. För pil som grafisk symbol, se Pil (figur).

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

En implikation eller villkorssats är en sats på formen "om A så B", där A och B var för sig är satser. Implikationens första del ("villkoret") kallas antecedent och dess andra del ("slutsatsen") kallas konsekvent. En implikation kan vara materiell, tautolog, formell eller kontrafaktisk.

• Materiell implikation: p → q är falsk om p är sann och q är falsk och sann i övriga fall.
• Tautolog implikation: F → G är sann för alla värden på de i formlerna F och G ingående variablerna.
• Formell implikation eller vardagsspråklig implikation: A → B, där ett visst kausalt eller formellt, ej väldefinierat, samband måste föreligga mellan försats och eftersats för att implikationen skall betraktas som meningsfull och sann.
• Kontrafaktisk implikation: En sats av typen "om A vore - vilket A inte är - så vore B" eller "om A inte vore - vilket A är - så vore B".