ж.1.
Приблизительный логический эквивалент оборота ("если..., то...").
2.
Операция, формализующая логические свойства этого оборота.
-и; ж. (лат. implicatio); лог.
Способ связи двух простых высказываний в сложное с помощью конструкции если..., то...