Импликация

Имплика́ция (от лат. implico — тесно связываю) (материальная импликация), приблизительный логический эквивалент оборота «если..., то...»; операция, формализующая логические свойства этого оборота.