Terms for subject Mathematics containing implication

English	Russian
alternating implication	альтернирующая импликация
backward implication	обратная импликация
causal implication	каузальная импликация
contraposition of implication	импликация
contraposition of implication	противоположная обратной
contrapositive of implication	контрапозиция импликации
converse implication	обратная импликация
converse of implication	обращение импликации
direct implication	прямая импликация
double implication	двойная импликация
entailment implication	импликация следования
equational implication	условное тождество
equational implication	квазитождество
far-reaching implications	далеко идущие последствия
general implication	общая импликация
implication graph	граф импликаций (в задаче 2-выполнимости (2SAT) sas_proz)
implication graph	импликационный граф
implication graph	граф вывода
implication of events	влечение событий
implication of events	вовлечение событий (в другие)
implication of facts	смысл фактов
implication operation	импликация (ssn)
implication sign	знак импликации
implications for	значение для
intuitionistic implication	интуиционистская импликация
inverse implication	обратная импликация
inverse of implication	обращение импликации
let us consider the implications of this definition	следствия, вытекающие из данного определения
let us consider the implications of this definition	рассмотрим следствия из этого определения
logic of strict implication	логика строгой импликации
logical implication	логическая импликация
material implication	материальная импликация
principal implication sign	главный знак импликации
propositional implication	импликация высказываний
relation of implication	отношение импликации
reverse implication sign	знак обратной импликации
rigorous implication	строгая импликация
rule of implication	правило импликации
self-implication	закон тождества
self-distributive law of implication	закон самодистрибутивности импликации
semantic implication	семантическое следование (vitalinew)
semantic implication	семантическая импликация
strict implication	строгая импликация
symbol of implication	знак импликации
syntactical implication	синтаксическая выводимость (vitalinew)
the implication of facts	смысл фактов
theory of implication	теория импликации
universal implication	универсальная импликация
weak implication	слабая импликация
weakened implication	ослабленная импликация