Deduction

Type of reasoning drawing conclusions from premises.

deductive reasoning

Deduction is a type of reasoning where conclusions are drawn through logical steps from premises that are assumed to be true. It is a fundamental aspect of philosophy, mathematics, and computer science.

/dɪˈdʌkʃən/

From Latin 'deductio' meaning 'a drawing forth, a conclusion'.

inference logical argument

induction abduction

reasoning logic

syllogism modus ponens

premises conclusions

argument proof

cognitive process logical concept