Terms for subject Mathematics containing deduction

English	Russian
a priori deduction	априорный вывод
by deduction	по дедукции
closed deduction	замкнутый вывод
contributory deduction	вносящий вывод
criterion of deduction	критерий дедукции
deduction by analogy	вывод по аналогии
deduction principle	принцип дедукции
deduction rule	правило вывода
deduction theorem	теорема о дедукции
deduction theorem	теорема дедукции
deduction tree	дерево вывода
direct deduction	прямой вывод
draw a deduction	вывести следствие
draw a deduction	делать вывод
formal deduction	формальный вывод
hypothetic deduction	гипотетическая дедукция
hypothetical deduction	гипотетическая дедукция
intermediate deduction	промежуточный вывод (ssn)
inverse deduction	обратная дедукция
law of deduction	закон дедукции
lock deduction	лок-вывод
mathematical deduction	математическая дедукция
natural deduction	естественный вывод
normal deduction	нормальная дедукция
regular deduction	регулярный вывод
resulting deduction	результирующий вывод
rigorous deduction	строгий вывод
rule of deduction	правило дедукции
statistical deduction	статистический вывод
straightforward deduction	непосредственный вывод
subsidiary deduction	вспомогательный вывод
synthetic deduction	синтетическая дедукция
theory of deduction	теория дедукции
three applications of the deduction theorem	трёхкратное применение теоремы дедукции (ssn)
unit deduction	единичный вывод