Brilliant deduction, Baxter.
Блестящий вывод, Бакстер.
tax deduction - удержание налога
illogical deduction - нелогичный вывод
logical deduction - логичный вывод
a deduction about - заключение о
draw a deduction - сделать вывод, вывести следствие
deduction by analogy - вывод по аналогии
after deduction of - за вычетом
deduction theorem: the property of many formal systems that the conditional derived from a valid argument by taking the conjunction of the premises as antecedent and the conclusion as consequent is true
natural deduction: a system of formal logic that has no axioms but permits the assumption of premises of an argument . Such a system uses sequents to record which assumptions are operative at any stage