検索結果- 英語 - 多言語
検索内容:
deducted
deductively
In a deductive manner; using deduction
deductive
Of, pertaining to, or based on deduction (process of reasoning). / (logic) Based on inferences from general principles.
deductible
Able to be taken away from a total amount, especially before tax.
deduct
to take away an amount from a total
（ present singular third-person ）
（ participle present ）
（ participle past ）
（ past ）
deduction
the act of taking away an amount from a total
deductive closure
The set of all the statements that can be deduced from a given set of statements.
deductive inference
inference in which the conclusion is of no greater generality than the premises / inference in which the conclusion is just as certain as the premises
deduction theorem
(logic) A procedure for "discharging" assumptions from an inference, causing them to become antecedents of the conclusion; or vice versa. Symbolically, the conversion of an inference of the form P,A⊢C to an inference of the form P⊢A→C or vice versa, where ⊢ is the turnstile symbol. The validity of the procedure is a metatheorem of the given logical theory.
deductive reasoning
Inference in which the conclusion cannot be false given that the premises are true. / Inference in which the conclusion is of no greater generality than the premises.
