Definition
Deduction
Deduction is reasoning in which a conclusion
follows necessarily from a set of premises . A deductively valid inference satisfies meaning that every interpretation that makes all premises in
true also makes true. Deduction therefore preserves truth: if its premises are true and its reasoning is valid, its conclusion must be true.