Skip to main content
Mathematics LibreTexts

17.9: Evaluating Deductive Arguments with Euler Diagrams

  • Page ID
    41408
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    We can interpret a deductive argument visually with an Euler diagram, which is essentially the same thing as a Venn diagram. This can make it easier to determine whether the argument is valid or invalid.

    Example 31

    Consider the deductive argument “All cats are mammals and a tiger is a cat, so a tiger is a mammal.” Is this argument valid?

    Solution

    A large circle labeled Mammals.  Inside is a smaller circle labeled Cats.  Inside that is an X labeled tiger.The premises are:

    All cats are mammals.

    A tiger is a cat.

    The conclusion is:

    A tiger is a mammal.

    Both the premises are true. To see that the premises must logically lead to the conclusion, we can use a Venn diagram. From the first premise, we draw the set of cats as a subset of the set of mammals. From the second premise, we are told that a tiger is contained within the set of cats. From that, we can see in the Venn diagram that the tiger must also be inside the set of mammals, so the conclusion is valid.

    Analyzing arguments with Euler diagrams

    To analyze an argument with an Euler diagram:

    1) Draw an Euler diagram based on the premises of the argument

    2) The argument is invalid if there is a way to draw the diagram that makes the conclusion false

    3) The argument is valid if the diagram cannot be drawn to make the conclusion false

    4) If the premises are insufficient to determine the location of an element or a set mentioned in the conclusion, then the argument is invalid.

    Try it Now 9

    Determine the validity of this argument:

    \(\begin{array} {ll} \text{Premise:} & \text{All cats are scared of vacuum cleaners.} \\ \text{Premise:} & \text{Max is a cat.} \\ \text{Conclusion:} & \text{Max is scared of vacuum cleaners.} \end{array}\)

    Answer

    A large circle labeled Scared, with a circle inside labeled Cats.  A spot labeled Max is inside the cats circle.Valid. Cats are a subset of creatures that are scared by vacuum cleaners. Max is in the set of cats, so he must also be in the set of creatures that are scared by vacuum cleaners.

    Example 32

    A large circle labeled Know CPR.  Inside is a smaller circle labeled Firefighters.  There are two places marked Jill with a question mark: one inside the firefighter circle and the other outside.\(\begin{array} {ll} \text{Premise:} & \text{All firefighters know CPR.} \\ \text{Premise:} & \text{Jill knows CPR.} \\ \text{Conclusion:} & \text{Jill is a firefighter.} \end{array}\)

    Solution

    From the first premise, we know that firefighters all lie inside the set of those who know CPR. (Firefighters are a subset of people who know CPR.) From the second premise, we know that Jill is a member of that larger set, but we do not have enough information to know whether she also is a member of the smaller subset that is firefighters.

    Since the conclusion does not necessarily follow from the premises, this is an invalid argument. It’s possible that Jill is a firefighter, but the structure of the argument doesn’t allow us to conclude that she definitely is.

    It is important to note that whether or not Jill is actually a firefighter is not important in evaluating the validity of the argument; we are concerned with whether the premises are enough to prove the conclusion.

    Try it Now 10

    Determine the validity of this argument:

    \(\begin{array} {ll} \text{Premise:} & \text{All bicycles have two wheels.} \\ \text{Premise:} & \text{This Harley-Davidson has two wheels.} \\ \text{Conclusion:} & \text{This Harley-Davidson is a bicycle.} \end{array}\)

    Answer

    A large circle labeled two wheels, and a circle inside labeled Bicycles.  There are two spots labeled Harley with question mark, one inside the bicycles circle, and the other inside the two wheels circle but outside the bicycle circle.Invalid. The set of bicycles is a subset of the set of vehicles with two wheels; the Harley-Davidson is in the set of two-wheeled vehicles but not necessarily in the smaller circle.

    Try it Now 11

    Determine the validity of this argument:

    \(\begin{array} {ll} \text{Premise:} & \text{No cows are purple.} \\ \text{Premise:} & \text{Fido is not a cow.} \\ \text{Conclusion:} & \text{Fido is purple.} \end{array}\)

    Answer

    Two circles that don't overlap, one labeled Cows and the other labeled Purple things.  There are two spots marked Fido with a question mark, one inside the purple things circle, and the other inside neither circle.Invalid. Since no cows are purple, we know there is no overlap between the set of cows and the set of purple things. We know Fido is not in the cow set, but that is not enough to conclude that Fido is in the purple things set.

    In addition to these categorical style premises of the form “all ___”, “some ____”, and “no ____”, it is also common to see premises that are conditionals.

    Example 33

    \(\begin{array} {ll} \text{Premise:} & \text{If you live in Seattle, you live in Washington.} \\ \text{Premise:} & \text{Marcus does not live in Seattle.} \\ \text{Conclusion:} & \text{Marcus does not live in Washington.} \end{array}\)

    Solution

    From the first premise, we know that the set of people who live in Seattle is inside the set of those who live in Washington. From the second premise, we know that Marcus does not lie in the Seattle set, but we have insufficient information to know whether Marcus lives in Washington or not. This is an invalid argument.

    A large circle labeled Washington, with a smaller circle labeled Seattle inside.  There are two spots labeled Marcus with a question mark: one inside the Washington circle but outside the Seattle one, and the other outside the Washington circle.

    Tryt it Now 12

    Determine the validity of this argument:

    \(\begin{array} {ll} \text{Premise:} & \text{If you have lipstick on your collar, then you are cheating on me.} \\ \text{Premise:} & \text{If you are cheating on me, then I will divorce you.} \\ \text{Premise:} & \text{ You do not have lipstick on your collar.} \\ \text{Conclusion:} & \text{I will not divorce you.} \end{array}\)

    Answer

    A circle labeled Divorce, with a circle inside labeled Cheating, with a circle inside that labeled Lipstick.  There are three spots labeled You with a question mark: one outside all circles, one inside the Divorce circle but outside the Cheating circle, and the last inside the Cheating circle but outside the Lipstick circle.Invalid. Lipstick on your collar is a subset of scenarios in which you are cheating, and cheating is a subset of the scenarios in which I will divorce you. Although it is wonderful that you don’t have lipstick on your collar, you could still be cheating on me, and I will divorce you. In fact, even if you aren’t cheating on me, I might divorce you for another reason. You’d better shape up.


    This page titled 17.9: Evaluating Deductive Arguments with Euler Diagrams is shared under a CC BY-SA 3.0 license and was authored, remixed, and/or curated by David Lippman (The OpenTextBookStore) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.

    • Was this article helpful?