Skip to main content
K12 LibreTexts

2.11: If Then Statements

  • Page ID
    2144
  • \( \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}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Hypothesis followed by a conclusion in a conditional statement.

    Conditional Statements

    A conditional statement (also called an if-then statement) is a statement with a hypothesis followed by a conclusion. The hypothesis is the first, or “if,” part of a conditional statement. The conclusion is the second, or “then,” part of a conditional statement. The conclusion is the result of a hypothesis.

    f-d_4db5d03aa180674c10187c8961dc571238102082156ee867771ecea3+IMAGE_TINY+IMAGE_TINY.pngFigure \(\PageIndex{1}\)

    If-then statements might not always be written in the “if-then” form. Here are some examples of conditional statements:

    • Statement 1: If you work overtime, then you’ll be paid time-and-a-half.
    • Statement 2: I’ll wash the car if the weather is nice.
    • Statement 3: If 2 divides evenly into \(x\), then \(x\) is an even number.
    • Statement 4: I’ll be a millionaire when I win the lottery.
    • Statement 5: All equiangular triangles are equilateral.

    Statements 1 and 3 are written in the “if-then” form. The hypothesis of Statement 1 is “you work overtime.” The conclusion is “you’ll be paid time-and-a-half.” Statement 2 has the hypothesis after the conclusion. If the word “if” is in the middle of the statement, then the hypothesis is after it. The statement can be rewritten: If the weather is nice, then I will wash the car. Statement 4 uses the word “when” instead of “if” and is like Statement 2. It can be written: If I win the lottery, then I will be a millionaire. Statement 5 “if” and “then” are not there. It can be rewritten: If a triangle is equiangular, then it is equilateral.

    What if you were given a statement like "All squares are rectangles"? How could you determine the hypothesis and conclusion of this statement?

    Example \(\PageIndex{1}\)

    Determine the hypothesis and conclusion: I'll bring an umbrella if it rains.

    Solution

    Hypothesis: "It rains." Conclusion: "I'll bring an umbrella."

    Example \(\PageIndex{2}\)

    Determine the hypothesis and conclusion: All right angles are \(90^{\circ}\).

    Solution

    Hypothesis: "An angle is right." Conclusion: "It is \(90^{\circ}\)."

    Example \(\PageIndex{3}\)

    Use the statement: I will graduate when I pass Calculus.

    Rewrite in if-then form and determine the hypothesis and conclusion.

    Solution

    This statement can be rewritten as If I pass Calculus, then I will graduate. The hypothesis is “I pass Calculus,” and the conclusion is “I will graduate.”

    Example \(\PageIndex{4}\)

    Use the statement: All prime numbers are odd.

    Rewrite in if-then form, determine the hypothesis and conclusion, and determine whether this is a true statement.

    Solution

    This statement can be rewritten as If a number is prime, then it is odd. The hypothesis is "a number is prime" and the conclusion is "it is odd". This is not a true statement (remember that not all conditional statements will be true!) since 2 is a prime number but it is not odd.

    Example \(\PageIndex{5}\)

    Determine the hypothesis and conclusion: Sarah will go to the store if Riley does the laundry.

    Solution

    The statement can be rewritten as "If Riley does the laundry then Sarah will go to the store." The hypothesis is "Riley does the laundry" and the conclusion is "Sarah will go to the store."

    Review

    Determine the hypothesis and the conclusion for each statement.

    1. If 5 divides evenly into \(x\), then \(x\) ends in 0 or 5.
    2. If a triangle has three congruent sides, it is an equilateral triangle.
    3. Three points are coplanar if they all lie in the same plane.
    4. If \(x=3\), then \(x^2=9\).
    5. If you take yoga, then you are relaxed.
    6. All baseball players wear hats.
    7. I'll learn how to drive when I am 16 years old.
    8. If you do your homework, then you can watch TV.
    9. Alternate interior angles are congruent if lines are parallel.
    10. All kids like ice cream.

    Resource

    Vocabulary

    Term Definition
    Conditional Statement A conditional statement (or 'if-then' statement) is a statement with a hypothesis followed by a conclusion.
    Angle A geometric figure formed by two rays that connect at a single point or vertex.
    antecedent The antecedent is the first, or “if,” part of a conditional statement.
    apodosis The “then” part of an if-then statement is called the conclusion, consequent or apodosis.
    conclusion The conclusion of a conditional statement is the result of the hypothesis.
    consequent The “then” part of an if-then statement is called the conclusion, consequent or apodosis.
    hypothesis The hypothesis is the first, or “if,” part of a conditional statement.
    if-then statement An if-then statement is another name for a conditional statement.
    protasis The protasis is the first, or “if,” part of a conditional statement.
    set A set is a collection of numbers, letters or anything.
    set theory Set theory studies the relationships of sets and subsets.
    Subset A subset is a collection of numbers or objects within a larger set.

    Additional Resources

    Video: If-Then Statements Principles - Basic

    Activities: If-Then Statements Discussion Questions

    Study Aids: Conditional Statements Study Guide

    Practice: If Then Statements

    Real World: If Then Statements


    This page titled 2.11: If Then Statements 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
    • Was this article helpful?