Ang kahulugan ng diksyunaryo ng terminong "lohikal na implikasyon" ay tumutukoy sa isang relasyon sa pagitan ng dalawang pahayag o proposisyon, kung saan ang unang pahayag (kilala bilang antecedent) ay nagpapahiwatig ng katotohanan ng pangalawang pahayag (kilala bilang ang kinahinatnan). Sa madaling salita, kung totoo ang antecedent, dapat totoo rin ang consequent.Simboliko, ang lohikal na implikasyon ay tinutukoy bilang "p → q", kung saan ang "p" ay ang antecedent at "q" ay ang kahihinatnan. Ito ay mababasa bilang "kung p, kung gayon q" o "p ay nagpapahiwatig ng q". Ang katotohanan ng implikasyon ay natutukoy sa pamamagitan ng mga halaga ng katotohanan ng antecedent at consequent.Halimbawa, ang pahayag na "Kung umuulan, ang lupa ay basa" ay isang halimbawa ng lohikal na implikasyon. Kung umuulan (ang antecedent ay totoo), kung gayon ang lupa ay dapat na basa (ang kinahinatnan ay totoo). Gayunpaman, kung hindi umuulan (mali ang antecedent), ituturing pa rin na totoo ang pahayag dahil hindi ito gumagawa ng anumang paghahabol tungkol sa kalagayan ng lupa sa kasong iyon.