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