Приблизительный логический эквивалент оборота "если…, то…"; операция, формализующая логические свойства этого оборота.
ИМПЛИКАЦИЯ (от лат . implico — тесно связываю) (материальная импликация)
Словарь: Большой Энциклопедический словарь