What if you were given a fact like "If you are late for class, you will get a detention"? What conclusions could you draw from this fact? After completing this concept, you'll be able to use deductive reasoning laws to make logical conclusions.
Watch This
CK-12 Types of Reasoning: Deductive
James Sousa: Introduction to Deductive Reasoning
Guidance
Deductive reasoning entails drawing conclusion from facts. When using deductive reasoning there are a few laws that are helpful to know.
Law of Detachment: If \begin{align*}p \rightarrow q\end{align*} is true, and @$\begin{align*}p\end{align*}@$ is true, then @$\begin{align*}q\end{align*}@$ is true. See the example below.
Here are two true statements:
- If a number is odd (p), then it is the sum of an even and odd number (q).
- 5 is an odd number (a specific example of p).
The conclusion must be that 5 is the sum of an even and an odd number (q).
Law of Contrapositive: If @$\begin{align*}p \rightarrow q\end{align*}@$ is true and @$\begin{align*}\sim q\end{align*}@$ is true, then you can conclude @$\begin{align*}\sim p\end{align*}@$. See the example below.
Here are two true statements:
- If a student is in Geometry (p), then he or she has passed Algebra I (q).
- Daniel has not passed Algebra I (a specific example of ~q).
The conclusion must be that Daniel is not in Geometry (~p).
Law of Syllogism: If @$\begin{align*}p \rightarrow q\end{align*}@$ and @$\begin{align*}q \rightarrow r\end{align*}@$ are true, then @$\begin{align*}p \rightarrow r\end{align*}@$ is true. See the example below.
Here are three true statements:
- If Pete is late (p), Mark will be late (q).
- If Mark is late (q), Karl will be late (r).
- Pete is late (p).
Notice how each “then” becomes the next “if” in a chain of statements. If Pete is late, this starts a domino effect of lateness. Mark will be late and Karl will be late too. So, if Pete is late, then Karl will be late (r), is the logical conclusion.
Example A
Suppose Bea makes the following statements, which are known to be true.
If Central High School wins today, they will go to the regional tournament. Central High School won today.
What is the logical conclusion?
These are true statements that we can take as facts. The conclusion is: Central High School will go to the regional tournament.
Example B
Here are two true statements.
If @$\begin{align*}\angle A\end{align*}@$ and @$\begin{align*}\angle B\end{align*}@$ are a linear pair, then @$\begin{align*}m \angle A + m \angle B = 180^\circ\end{align*}@$.
@$\begin{align*}\angle ABC\end{align*}@$ and @$\begin{align*}\angle CBD\end{align*}@$ are a linear pair.
What conclusion can you draw from this?
This is an example of the Law of Detachment, therefore:
@$$\begin{align*}m\angle ABC + m \angle CBD = 180^\circ\end{align*}@$$
Example C
Determine the conclusion from the true statements below.
Babies wear diapers.
My little brother does not wear diapers.
The second statement is the equivalent of @$\begin{align*}\sim q\end{align*}@$. Therefore, the conclusion is @$\begin{align*}\sim p\end{align*}@$, or: My little brother is not a baby.
CK-12 Types of Reasoning: Deductive
-->
Guided Practice
1. Here are two true statements.
If @$\begin{align*}\angle A\end{align*}@$ and @$\begin{align*}\angle B\end{align*}@$ are a linear pair, then @$\begin{align*}m \angle A + m \angle B = 180^\circ\end{align*}@$.
@$\begin{align*}m\angle 1 = 90^\circ\end{align*}@$ and @$\begin{align*}m\angle 2 = 90^\circ\end{align*}@$.
What conclusion can you draw from these two statements?
2. Determine the conclusion from the true statements below.
If you are not in Chicago, then you can’t be on the @$\begin{align*}L\end{align*}@$.
Bill is in Chicago.
3. Determine the conclusion from the true statements below.
If you are not in Chicago, then you can’t be on the @$\begin{align*}L\end{align*}@$.
Sally is on the @$\begin{align*}L\end{align*}@$.
Answers:
1. Here there is NO conclusion. These statements are in the form:
@$$\begin{align*}& p \rightarrow q\\ & q\end{align*}@$$
We cannot conclude that @$\begin{align*}\angle 1\end{align*}@$ and @$\begin{align*}\angle 2\end{align*}@$ are a linear pair.
Here are two counterexamples:
2. If we were to rewrite this symbolically, it would look like:
@$$\begin{align*}& \sim p \rightarrow \sim q\\ & p\end{align*}@$$
This is not in the form of the Law of Contrapositive or the Law of Detachment, so neither of these laws can be used to draw a logical conclusion.
3. If we were to rewrite this symbolically, it would look like:
@$$\begin{align*}& \sim p \rightarrow \sim q\\ & q\end{align*}@$$
Even though it looks a little different, this is an example of the Law of Contrapositive. Therefore, the logical conclusion is: Sally is in Chicago.
Explore More
Determine the logical conclusion and state which law you used (Law of Detachment, Law of Contrapositive, or Law of Syllogism). If no conclusion can be drawn, write “no conclusion.”
- People who vote for Jane Wannabe are smart people. I voted for Jane Wannabe.
- If Rae is the driver today then Maria is the driver tomorrow. Ann is the driver today.
- All equiangular triangles are equilateral. @$\begin{align*}\triangle ABC\end{align*}@$ is equiangular.
- If North wins, then West wins. If West wins, then East loses.
- If @$\begin{align*}z > 5\end{align*}@$, then @$\begin{align*}x > 3\end{align*}@$. If @$\begin{align*}x > 3\end{align*}@$, then @$\begin{align*}y > 7\end{align*}@$.
- If I am cold, then I wear a jacket. I am not wearing a jacket.
- If it is raining outside, then I need an umbrella. It is not raining outside.
- If a shape is a circle, then it never ends. If it never ends, then it never starts. If it never starts, then it doesn’t exist. If it doesn’t exist, then we don’t need to study it.
- If you text while driving, then you are unsafe. You are a safe driver.
- If you wear sunglasses, then it is sunny outside. You are wearing sunglasses.
- If you wear sunglasses, then it is sunny outside. It is cloudy.
- I will clean my room if my mom asks me to. I am not cleaning my room.
- Write the symbolic representation of #8. Include your conclusion. Does this argument make sense?
- Write the symbolic representation of #10. Include your conclusion.
- Write the symbolic representation of #11. Include your conclusion.