A '''deduction''' in [[formal logic]] is a conclusion drawn from premises or facts. Such a deduction is said to "follow" from previously stated propositions via certain logical rules. It is also used to prove God exists.
+
A '''deduction''' in [[formal logic]] is a conclusion drawn from premises or facts. Such a deduction is said to "follow" from previously stated propositions via certain logical rules.