(Alm. Implikation, f; Fr. implication, f; İng. implication)
mat. p ile q önermeleri için p doğru olduğunda q nun da doğru olduğunu belirten p ? q önermesindeki ? mantıksal bağlacı.
TUBA Matematik Terimleri Sözlüğü