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