Deduction
61Déduction naturelle — Pour les articles homonymes, voir Déduction. La déduction naturelle est un système formel proposé par Gerhard Gentzen en 1934 pour représenter les preuves en logique du premier ordre de manière aussi proche que possible des façons naturelles de… …
62Deduction (food stamps) — For the food stamp program, Deductions are used to calculate a household’s monthly food stamp benefit. This calculation is done by subtracting a series of dollar deductions from the household’s total cash monthly income, so as to better reflect… …
63Déduction et induction — Le couple Déduction et induction constitue un des dualismes qui structurent l histoire de la philosophie. Définition La déduction logique se fonde sur des axiomes ou des définitions, et ne produit que des résultats tautologiques, c est à dire… …
64Déduction logique — Pour les articles homonymes, voir déduction. En logique, la déduction procède de la conception que les moyens ne sont pas plus importants que la fin (conclusion), par opposition à l induction logique qui consiste à former des représentations… …
65Deductiōn, die — Die Deductiōn, plur. die en, aus dem Lat. deductio, eine Schrift, worin die Ansprüche und darauf gegründeten Gerechtsame einer streitenden Partey untersucht werden …
66deduction at source — initial deduction and payment of taxes to income tax authorities by the taxpayer …
67deduction for new — A deduction of one third from the whole amount of the cost of repairing a ship, in computing the amount to be paid the insured under a marine insurance policy. Orrok v Commonwealth Ins. Co. 38 Mass (21 Pick) 456, 469; 29A Am J Rev ed Ins § 1567 …
68deduction — The logical derivation of a conclusion from certain premises. The conclusion will be true if the premises are true and the deductive argument is valid. Cf.:induction (9) …
69deduction — A process of reasoning in which a conclusion is drawn from a set of premises . Usually confined to cases in which the conclusion is supposed to follow from the premises, i.e. the inference is logically valid . See also logical calculus, model… …
70deduction — Synonyms and related words: Baconian method, a fortiori reasoning, a posteriori reasoning, a priori reasoning, abatement, ablation, abrasion, abridgment, abstraction, accord, addition, adjunct, affairs, affiliation, affinity, agio, alleviation,… …
