Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
K12 LibreTexts

2.7: Deductive Reasoning

( \newcommand{\kernel}{\mathrm{null}\,}\)

Drawing conclusions from facts.

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 pq is true, and p is true, then q is true. See the example below.

Here are two true statements:

  1. If a number is odd (p), then it is the sum of an even and odd number (q).
  2. 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 pq is true and q is true, then you can conclude p. See the example below.

Here are two true statements:

  1. If a student is in Geometry (p), then he or she has passed Algebra I (q).
  2. Daniel has not passed Algebra I (a specific example of q).

The conclusion must be that Daniel is not in Geometry (q).

Law of Syllogism: If pq and qr are true, then pr is true. See the example below.

Here are three true statements:

  1. If Pete is late (p), Mark will be late (q).
  2. If Mark is late (q), Karl will be late (r).
  3. 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.

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?

Example 2.7.1

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?

Solution

These are true statements that we can take as facts. The conclusion is: Central High School will go to the regional tournament.

Example 2.7.2

Here are two true statements.

If A and B are a linear pair, then mA+mB=180.

ABC and CBD are a linear pair.

What conclusion can you draw from this?

Solution

This is an example of the Law of Detachment, therefore:

mABC+mCBD=180

Example 2.7.3

Determine the conclusion from the true statements below.

Babies wear diapers.

My little brother does not wear diapers.

Solution

The second statement is the equivalent of q. Therefore, the conclusion is p, or: My little brother is not a baby.

Example 2.7.4

Here are two true statements.

If A and B are a linear pair, then mA+mB=180.

m1=90 and m2=90.

What conclusion can you draw from these two statements?

Solution

Here there is NO conclusion. These statements are in the form:

pq

q

We cannot conclude that 1 and 2 are a linear pair.

Here are two counterexamples:

f-d_3730f4a4430237e289e1e3844d9e623f903eef3fdc0344b34ac8ff99+IMAGE_TINY+IMAGE_TINY.pngFigure 2.7.1

Example 2.7.5

Determine the conclusion from the true statements below.

If you are not in Chicago, then you can’t be on the L.

Sally is on the L.

Solution

If we were to rewrite this symbolically, it would look like:

p→∼q

q

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.

Review

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.”

  1. People who vote for Jane Wannabe are smart people. I voted for Jane Wannabe.
  2. If Rae is the driver today then Maria is the driver tomorrow. Ann is the driver today.
  3. All equiangular triangles are equilateral. δABC is equiangular.
  4. If North wins, then West wins. If West wins, then East loses.
  5. If z>5, then x>3. If x>3, then y>7.
  6. If I am cold, then I wear a jacket. I am not wearing a jacket.
  7. If it is raining outside, then I need an umbrella. It is not raining outside.
  8. 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.
  9. If you text while driving, then you are unsafe. You are a safe driver.
  10. If you wear sunglasses, then it is sunny outside. You are wearing sunglasses.
  11. If you wear sunglasses, then it is sunny outside. It is cloudy.
  12. I will clean my room if my mom asks me to. I am not cleaning my room.
  13. Write the symbolic representation of #8. Include your conclusion. Does this argument make sense?
  14. Write the symbolic representation of #10. Include your conclusion.
  15. Write the symbolic representation of #11. Include your conclusion.

Resources

Vocabulary

Term Definition
Deductive Reasoning When using deductive reasoning, one would draw conclusions that are based on facts.

Additional Resources

Video: Types of Reasoning: Deductive Principles - Basic

Activities: Deductive Reasoning Discussion Questions

Study Aids: Types of Reasoning Study Guide

Practice: Deductive Reasoning

Real World: Deductive Reasoning


This page titled 2.7: Deductive Reasoning is shared under a CK-12 license and was authored, remixed, and/or curated by CK-12 Foundation via source content that was edited to the style and standards of the LibreTexts platform.

CK-12 Foundation
LICENSED UNDER
CK-12 Foundation is licensed under CK-12 Curriculum Materials License

Support Center

How can we help?