Difference between revisions of "Deductive Rules"
(Created page with "In mathematics, deductive reasoning is the process of making conclusions using axioms and previously proven theorems and statements. ==Resources== * [https://en.wikipedia.org...") |
|||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | + | Deductive reasoning is reaching a conclusion by combining known truths to create a new truth. Unlike inductive reasoning, deductive reasoning is certain, provided that the normal rules of logic are used to conclude such truths. In order to use deductive reasoning there must be a starting point, normally called the axioms or postulates of the theory. For example, an axiom in geometry asserts that given two points, there is only one line that contains both points. Observe that while this is an axiom, it can be used to deduce that two different lines that are not parallel will intersect at only one point. | |
| + | |||
| + | Not only axioms can be used to deduce new truths. Other knowledge deduced from the axioms using the rules of logic can be used to validate new truths. For example, we can conclude that if three points A, B and C are not in the same line, the lines determined by two of them can only meet at A, B and C (since we already know that two lines can only intersect at one point, all that is necessary to prove is that the lines determined by two of the three points are different, and that is immediate since the given points do not belong to any one line). | ||
| + | |||
| + | ==Simple example== | ||
| + | An example of an argument using deductive reasoning: | ||
| + | # All men are mortal. (First premise) | ||
| + | # Socrates is a man. (Second premise) | ||
| + | # Therefore, Socrates is mortal. (Conclusion) | ||
| + | |||
| + | The first premise states that all objects classified as "men" have the attribute "mortal." The second premise states that "Socrates" is classified as a "man" – a member of the set "men." The conclusion then states that "Socrates" must be "mortal" because he inherits this attribute from his classification as a "man." | ||
==Resources== | ==Resources== | ||
| − | * [https://en. | + | * [https://en.wikibooks.org/wiki/Geometry/Chapter_1 Chapter 1], Wikibooks: Geometry |
* [https://cs.brynmawr.edu/Courses/cs231/spring2015/PC.pdf Deductive Reasoning and Logical Connectives], Bryn Mawr College | * [https://cs.brynmawr.edu/Courses/cs231/spring2015/PC.pdf Deductive Reasoning and Logical Connectives], Bryn Mawr College | ||
* [https://www.khanacademy.org/math/algebra-home/alg-series-and-induction/alg-deductive-and-inductive-reasoning/v/deductive-reasoning-1 Inductive and Deductive Reasoning], Khan Academy | * [https://www.khanacademy.org/math/algebra-home/alg-series-and-induction/alg-deductive-and-inductive-reasoning/v/deductive-reasoning-1 Inductive and Deductive Reasoning], Khan Academy | ||
* [https://www.khanacademy.org/math/algebra-home/alg-series-and-induction/alg-deductive-and-inductive-reasoning/v/deductive-reasoning-3 Using Deductive Reasoning], Khan Academy | * [https://www.khanacademy.org/math/algebra-home/alg-series-and-induction/alg-deductive-and-inductive-reasoning/v/deductive-reasoning-3 Using Deductive Reasoning], Khan Academy | ||
| + | |||
| + | == Licensing == | ||
| + | Content obtained and/or adapted from: | ||
| + | * [https://en.wikipedia.org/wiki/Deductive_reasoning Deductive reasoning, Wikipedia] under a CC BY-SA license | ||
Latest revision as of 20:24, 14 November 2021
Deductive reasoning is reaching a conclusion by combining known truths to create a new truth. Unlike inductive reasoning, deductive reasoning is certain, provided that the normal rules of logic are used to conclude such truths. In order to use deductive reasoning there must be a starting point, normally called the axioms or postulates of the theory. For example, an axiom in geometry asserts that given two points, there is only one line that contains both points. Observe that while this is an axiom, it can be used to deduce that two different lines that are not parallel will intersect at only one point.
Not only axioms can be used to deduce new truths. Other knowledge deduced from the axioms using the rules of logic can be used to validate new truths. For example, we can conclude that if three points A, B and C are not in the same line, the lines determined by two of them can only meet at A, B and C (since we already know that two lines can only intersect at one point, all that is necessary to prove is that the lines determined by two of the three points are different, and that is immediate since the given points do not belong to any one line).
Simple example
An example of an argument using deductive reasoning:
- All men are mortal. (First premise)
- Socrates is a man. (Second premise)
- Therefore, Socrates is mortal. (Conclusion)
The first premise states that all objects classified as "men" have the attribute "mortal." The second premise states that "Socrates" is classified as a "man" – a member of the set "men." The conclusion then states that "Socrates" must be "mortal" because he inherits this attribute from his classification as a "man."
Resources
- Chapter 1, Wikibooks: Geometry
- Deductive Reasoning and Logical Connectives, Bryn Mawr College
- Inductive and Deductive Reasoning, Khan Academy
- Using Deductive Reasoning, Khan Academy
Licensing
Content obtained and/or adapted from:
- Deductive reasoning, Wikipedia under a CC BY-SA license
