Die woordeboekbetekenis van die term "logiese implikasie" verwys na 'n verband tussen twee stellings of stellings, waar die eerste stelling (bekend as die antesedent) die waarheid van die tweede stelling (bekend as die gevolglike) impliseer. Met ander woorde, as die antesedent waar is, dan moet die konsekwent ook waar wees.Simbolies word die logiese implikasie aangedui as "p → q", waar "p" die antesedent is en "q" is die gevolg. Dit kan gelees word as "as p, dan q" of "p impliseer q". Die waarheid van die implikasie word bepaal deur die waarheidswaardes van die antesedent en konsekwent.Byvoorbeeld, die stelling "As dit reën, is die grond nat" 'n voorbeeld van 'n logiese implikasie. As dit reën (die antesedent is waar), dan moet die grond nat wees (die gevolg is waar). As dit egter nie reën nie (die antesedent is vals), dan word die stelling steeds as waar beskou, want dit maak geen aanspraak oor die toestand van die grond in daardie geval nie.