Смотреть больше слов в «Англо-русском словаре компьютерных терминов»
formal implication: translationIn a logical calculus, one proposition A formally implies another B if there is a proof starting from A as an assumption... смотреть
матем. формальная импликация
формальная импликация