Origin of implication
- the operator that forms a sentence from two given sentences and corresponds to the English if … then …
- a sentence so formed. Usually written p→q or p⊃q, where p,q are the component sentences, it is true except when p (the antecedent) is true and q (the consequent) is false
- the relation between such sentences
early 15c., "action of entangling," from Latin implicationem (nominative implicatio) "interweaving, entanglement," from past participle stem of implicare "involve, entangle, connect closely," from assimilated form of in- "into, in, on, upon" (see in- (2)) + plicare "to fold" (see ply (v.1)). Meaning "something implied (but not expressed)" is from 1550s.