Импликация: значение слова в словаре Ефремовой

импликация ж.

1. Приблизительный логический эквивалент оборота (если…, то).

2. Операция, формализующая логические свойства этого оборота.