Definition:Deduction
Jump to navigation
Jump to search
Definition
Deduction is the process in logic which derives new true statements from a set of premises, themselves assumed true.
Also see
- Results about deduction can be found here.
Sources
- 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $1$: Introduction: $\S 1.1$: The origins of mathematical logic
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): deduction
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): deduction
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): deduction