1. A logical principle or formula used in formal reasoning to derive conclusions from premises; a rule that allows the inference of new statements from existing ones in logic, mathematics, or law
In formal logic, modus ponens is a fundamental deduction rule that allows us to conclude Q from P and 'if P then Q'.
Em lógica formal, o modus ponens é uma regra de dedução fundamental que nos permite concluir Q a partir de P e 'se P então Q'.
2. A legal or financial provision that permits the subtraction of certain expenses or amounts from taxable income or a total owed
Mortgage interest is a common deduction rule that reduces your taxable income.
Os juros hipotecários são uma regra de dedução comum que reduz sua renda tributável.