Skip to main content
Mathematics LibreTexts

2.1: Statements and Logical Operators

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

    PREVIEW ACTIVITY \(\PageIndex{1}\): Compound Statements

    Mathematicians often develop ways to construct new mathematical objects from existing mathematical objects. It is possible to form new statements from existing statements by connecting the statements with words such as “and” and “or” or by negating the statement. A logical operator (or connective) on mathematical statements is a word or combination of words that combines one or more mathematical statements to make a new mathematical statement. A compound statement is a statement that contains one or more operators. Because some operators are used so frequently in logic and mathematics, we give them names and use special symbols to represent them.

    • The conjunction of the statements \(P\) and \(Q\) is the statement “\(P\) and \(Q\)” and its denoted by \(P \wedge Q\). The statement \(P \wedge Q\) is true only when both \(P\) and \(Q\) are true.
    • The disjunction of the statements \(P\) and \(Q\) is the statement “\(P\) or \(Q\)” and its denoted by \(P \vee Q\). The statement \(P \vee Q\) is true only when at least one of \(P\) or \(Q\) is true.
    • The negation (of a statement) of the statement \(P\) is the statement “not \(P\) ” and is denoted by \(\urcorner P\). The negation of \(P\) is true only when \(P\) is false, and \(\urcorner P\) is false only when \(P\) is true.
    • The implication or conditional is the statement “If \(P\) then \(Q\)” and is denoted by \(P \to Q\). The statement \(P \to Q\) is often read as “\(P\) implies \(Q\), and we have seen in Section 1.1 that \(P \to Q\) is false only when \(P\) is true and \(Q\) is false.

    Some comments about the disjunction.
    It is important to understand the use of the operator “or.” In mathematics, we use the “inclusive or” unless stated otherwise. This means that \(P \vee Q\) is true when both \(P\) and \(Q\) are true and also when only one of them is true. That is, \(P \vee Q\) is true when at least one of \(P\) or \(Q\) is true, or \(P \vee Q\) is false only when both \(P\) and \(Q\) are false.

    A different use of the word “or” is the “exclusive or.” For the exclusive or, the resulting statement is false when both statements are true. That is, “\(P\) exclusive or \(Q\)” is true only when exactly one of \(P\) or \(Q\) is true. In everyday life, we often use the exclusive or. When someone says, “At the intersection, turn left or go straight,” this person is using the exclusive or.

    Some comments about the negation. Although the statement, \(\urcorner P\), can be read as “It is not the case that \(P\),” there are often betters ways to say or write this in English. For example, we would usually say (or write):

    • The negation of the statement, “391 is prime” is “391 is not prime.”
    • The negation of the statement, “\(12 < 9\)” is “\(12 \ge 9\).”
    1. For the statements

      \(P\): 15 is odd \(Q\): 15 is prime
      write each of the following statements as English sentences and determine

      whether they are true or false.
      (a) \(P \wedge Q\). (b) \(P \vee Q\). (c) \(P \wedge \urcorner Q\). (d) \(\urcorner P \vee \urcorner Q\).

    2. For the statements

      P : 15 is odd R: 15 < 17

      write each of the following statements in symbolic form using the operators\(\wedge\), \(\vee\), and \(\urcorner\)

      (a) 15 \(\ge\) 17. (b) 15 is odd or 15 \(\ge\) 17.
      (c) 15 is even or 15 <17. (d) 15 is odd and 15 \(\ge\) 17.

    PREVIEW ACTIVITY\(\PageIndex{2}\): Truth Values of Statements

    We will use the following two statements for all of this Preview Activity:

    • \(P\) is the statement “It is raining.”
    • \(Q\) is the statement “Daisy is playing golf.”

    In each of the following four parts, a truth value will be assigned to statements \(P\) and \(Q\). For example, in Question (1), we will assume that each statement is true. In Question (2), we will assume that \(P\) is true and \(Q\) is false. In each part, determine the truth value of each of the following statements:

    (a) (\(P \wedge Q\)) It is raining and Daisy is playing golf.

    (b) (\(P \vee Q\)) It is raining or Daisy is playing golf.

    (c) (\(P \to Q\)) If it is raining, then Daisy is playing golf.

    (d) (\(\urcorner P\)) It is not raining.

    Which of the four statements [(a) through (d)] are true and which are false in each of the following four situations?

    1. When \(P\) is true (it is raining) and \(Q\) is true (Daisy is playing golf).
    2. When \(P\) is true (it is raining) and \(Q\) is false (Daisy is not playing golf).
    3. When \(P\) is false (it is not raining) and \(Q\) is true (Daisy is playing golf).
    4. When \(P\) is false (it is not raining) and \(Q\) is false (Daisy is not playing golf).

    In the preview activities for this section, we learned about compound statements and their truth values. This information can be summarized with truth tables as is shown below.

    \(P\) \(\urcorner P\)
    T F
    F T
    \(P\) \(Q\) \(P \wedge Q\)
    T T T
    T F F
    F T F
    F F F
    \(P\) \(Q\) \(P \vee Q\)
    T T T
    T F T
    F T T
    F F F
    \(P\) \(Q\) \(P \to Q\)
    T T T
    T F F
    F T T
    F F T

    Rather than memorizing the truth tables, for many people it is easier to remember the rules summarized in Table 2.1.

    Table 2.1: Truth Values for Common Connectives
    Operator Symbolic Form Summary of Truth Values
    Conjunction \(P \wedge Q\) True only when both \(P\) and \(Q\) are true
    Disjunction \(P \vee Q\) False only when both \(P\) and \(Q\) are false
    Negation \(\urcorner P\) Opposite truth value of \(P\)
    Conditional \(P \to Q\) False only when \(P\) is true and \(Q\) is false

    Other Forms of Conditional Statements

    Conditional statements are extremely important in mathematics because almost all mathematical theorems are (or can be) stated in the form of a conditional statement in the following form:

    If “certain conditions are met,” then “something happens.”

    It is imperative that all students studying mathematics thoroughly understand the meaning of a conditional statement and the truth table for a conditional statement.

    We also need to be aware that in the English language, there are other ways for expressing the conditional statement \(P \to Q\) other than “If \(P\), then \(Q\).” Following are some common ways to express the conditional statement \(P \to Q\) in the English language:page54image1422600880

    • If \(P\), then \(Q\).
    • \(P\) implies \(Q\).
    • \(P\) only if \(Q\).
    • \(Q\) if \(P\).
    • Whenever \(P\) is true, \(Q\) is true.
    • \(Q\) is true whenever \(P\) is true.
    • \(Q\) is necessary for \(P\). (This means that if \(P\) is true, then \(Q\) is necessarily true.)
    • \(P\) is sufficient for \(Q\). (This means that if you want \(Q\) to be true, it is sufficient to show that \(P\) is true.)

      In all of these cases, \(P\) is the hypothesis of the conditional statement and \(Q\) is the conclusion of the conditional statement.

    Progress Check 2.1: The "Only if" statemenT

    Recall that a quadrilateral is a four-sided polygon. Let \(S\) represent the following true conditional statement:

    If a quadrilateral is a square, then it is a rectangle.

    Write this conditional statement in English using

    1. the word “whenever”
    2. the phrase “only if”
    3. the phrase “is necessary for”
    4. the phrase “is sufficient for”
    Answer

    Add texts here. Do not delete this text first.

    Constructing Truth Tables

    Truth tables for compound statements can be constructed by using the truth tables for the basic connectives. To illustrate this, we will construct a truth table for. \((P \wedge \urcorner Q) \to R\). The first step is to determine the number of rows needed.

    • For a truth table with two different simple statements, four rows are needed since there are four different combinations of truth values for the two statements. We should be consistent with how we set up the rows. The way we will do it in this text is to label the rows for the first statement with (T, T, F, F) and the rows for the second statement with (T, F, T, F). All truth tables in the text have this scheme.
    • For a truth table with three different simple statements, eight rows are needed since there are eight different combinations of truth values for the three statements. Our standard scheme for this type of truth table is shown in Table 2.2.

    The next step is to determine the columns to be used. One way to do this is to work backward from the form of the given statement. For \((P \wedge \urcorner Q) \to R\), the last step is to deal with the conditional operator \((\to)\). To do this, we need to know the truth values of \((P \wedge \urcorner Q)\) and \(R\). To determine the truth values for \((P \wedge \urcorner Q)\), we need to apply the rules for the conjunction operator \((\wedge)\) and we need to know the truth values for \(P\) and \(\urcorner Q\).

    Table 2.2 is a completed truth table for \((P \wedge \urcorner Q) \to R\) with the step numbers indicated at the bottom of each column. The step numbers correspond to the order in which the columns were completed.

    Table 2.2: Truth Table for \((P \wedge \urcorner Q) \to R\)
    \(P\) \(Q\) \(R\) \(\urcorner Q\) \((P \wedge \urcorner Q)\) \((P \wedge \urcorner Q) \to R\)
    T T T F F T
    T T F F F T
    T F T T T T
    T F F T T F
    F T T F F T
    F T F F F T
    F F T T F T
    F F F T F T
    1 1 1 2 3 4
    • When completing the column for \(P \wedge \urcorner Q\), remember that the only time the conjunction is true is when both \(P\) and \(\urcorner Q\) are true.
    • When completing the column for \((P \wedge \urcorner Q) \to R\), remember that the only time the conditional statement is false is when the hypothesis \((P \wedge \urcorner Q)\) is true and the conclusion, \(R\), is false.

    The last column entered is the truth table for the statement \((P \wedge \urcorner Q) \to R\) using the set up in the first three columns.

    Progress Check 2.2: Constructing Truth Tables

    Construct a truth table for each of the following statements:

    1. \(P \wedge \urcorner Q\)
    2. \(\urcorner(P \wedge Q)\)
    3. \(\urcorner P \wedge \urcorner Q\)
    4. \(\urcorner P \vee \urcorner Q\)

    Do any of these statements have the same truth table?

    Answer

    Add texts here. Do not delete this text first.

    The Biconditional Statement

    Some mathematical results are stated in the form “\(P\) if and only if \(Q\)” or “\(P\) is necessary and sufficient for \(Q\).” An example would be, “A triangle is equilateral if and only if its three interior angles are congruent.” The symbolic form for the biconditional statement “\(P\) if and only if \(Q\)” is \(P \leftrightarrow Q\). In order to determine a truth table for a biconditional statement, it is instructive to look carefully at the form of the phrase “\(P\) if and only if \(Q\).” The word “and” suggests that this statement is a conjunction. Actually it is a conjunction of the statements “\(P\) if \(Q\)” and “\(P\) only if \(Q\).” The symbolic form of this conjunction is \([(Q \to P) \wedge (P \to Q]\).

    Progress Check 2.3: The Truth Table for the Biconditional Statement

    Complete a truth table for \([(Q \to P) \wedge (P \to Q]\). Use the following columns: \(P\), \(Q\), \(Q \to P\), \(P \to Q\), and \([(Q \to P) \wedge (P \to Q]\). The last column of this table will be the truth for \(P \leftrightarrow Q\).

    Answer

    Add texts here. Do not delete this text first.

    Other Forms of the Biconditional Statement

    As with the conditional statement, there are some common ways to express the biconditional statement, \(P \leftrightarrow Q\), in the English language.

    Example
    • \(P\) is and only if \(Q\).
    • \(P\) is necessary and sufficient for \(Q\).
    • \(P\) implies \(Q\) and \(Q\) implies \(P\).

    Tautologies and Contradictions

    Definition: tautology

    A tautology is a compound statement S that is true for all possible combinations of truth values of the component statements that are part of \(S\). A contradiction is a compound statement that is false for all possible combinations of truth values of the component statements that are part of \(S\).

    That is, a tautology is necessarily true in all circumstances, and a contradiction is necessarily false in all circumstances.

    Progress Check 2.4 (Tautologies and Contradictions)

    For statements \(P\) and \(Q\):

    1. Use a truth table to show that \((P \vee \urcorner P)\) is a tautology.
    2. Use a truth table to show that \((P \wedge \urcorner P)\) is a contradiction.
    3. Use a truth table to determine if \(P \to (P \vee P)\) is a tautology, a contradiction, nor neither.
    Answer

    Add texts here. Do not delete this text first.

    Exercises for Section 2.1
    1. Suppose that Daisy says, “If it does not rain, then I will play golf.” Later in the day you come to know that it did rain but Daisy still played golf. Was Daisy’s statement true or false? Support your conclusion.
    2. Suppose that \(P\) and \(Q\) are statements for which \(P \to Q\) is true and for which \(\urcorner Q\) is true. What conclusion (if any) can be made about the truth value of each of the following statements?

      (a) \(P\)
      (b) \(P \wedge Q\)
      (c) \(P \vee Q\)
    3. Suppose that \(P\) and \(Q\) are statements for which \(P \to Q\) is false. What conclusion (if any) can be made about the truth value of each of the following statements?

      (a) \(\urcorner P \to Q\)
      (b) \(Q \to P\)
      (c) \(P \ vee Q\)
    4. Suppose that \(P\) and \(Q\) are statements for which \(Q\) is false and \(\urcorner P \to Q\) is true (and it is not known if \(R\) is true or false). What conclusion (if any) can be made about the truth value of each of the following statements?

      (a) \(\urcorner Q \to P\)
      (b) \(P\)
      (c) \(P \wedge R\)
      (d) \(R \to \urcorner P\)
    5. Construct a truth table for each of the following statements:

      (a) \(P \to Q\)
      (b) \(Q \to P\)
      (c) \(\urcorner P \to \urcorner Q\)
      (d) \(\urcorner Q \to \urcorner P\)

      Do any of these statements have the same truth table?
    6. Construct a truth table for each of the following statements:

      (a) \(P \vee \urcorner Q\)
      (b) \(\urcorner (P \vee Q)\)
      (c) \(\urcorner P \vee \urcorner Q\)
      (d) \(\urcorner P \wedge \urcorner Q\)

      Do any of these statements have the same truth table?
    7. Construct truth table for \(P \wedge (Q \vee R)\) and \((P \wedge Q) \vee (P \wedge R)\). What do you observe.
    8. Suppose each of the following statements is true.
      • Laura is in the seventh grade.
      • ��Laura got an A on the mathematics test or Sarah got an A on the mathematics test.
      • ��If Sarah got an A on the mathematics test, then Laura is not in the seventh grade.

        If possible, determine the truth value of each of the following statements. Carefully explain your reasoning.

        (a) Laura got an A on the mathematics test.
        (b) Sarah got an A on the mathematics test.
        (c) Either Laura or Sarah did not get an A on the mathematics test.
    9. Let \(P\) stand for “the integer \(x\) is even,” and let \(Q\) stand for “\(x^2\) is even.” Express the conditional statement \(P \to Q\) in English using

      (a) The "if then" form of the conditional statement
      (b) The word "Implies"
      (c) The "only if" form of the conditional statement
      (d) The phrase "is necessary for"
      (e) The phrase "is sufficient for"
    10. Repeat Exercise (9) for the conditional statement \(Q \to P\).
    11. For statements \(P\) and \(Q\), use truth tables to determine if each of the following statements is a tautology, a contradiction, or neither.
      (a) \(\urcorner Q \vee (P \to Q)\).
      (b) \(Q \wedge (P \wedge \urcorner Q)\).
      (c) \((Q \wedge P) \wedge (P \to \urcorner Q)\).
      (d) \(\urcorner Q \to (P \wedge \urcorner P)\).
    12. For statements \(P\), \(Q\), and \(R\):
      (a) Show that \([(P \to Q) \wedge P] \to Q\) is a tautology. Note: In symbolic logic, this is an important logical argument form called modus ponens.
      (b) Show that \([(P \to Q) \wedge (Q \to R)] \to (P \to R)\) is atautology. Note: In symbolic logic, this is an important logical argument form called syllogism.

      Explorations and Activities
    13. Working with Conditional Statements. Complete the following table:
      English Form Hypothesis Conclusion Symbolic Form
      If \(P\), then \(Q\) \(P\) \(Q\) \(P \to Q\)
      \(Q\) only if \(P\) \(Q\) \(P\) \(Q \to P\)
      \(P\) is necessary for \(Q\)      
      \(P\) is sufficient for \(Q\)      
      \(Q\) is necessary for \(P\)      
      \(P\) implies \(Q\)      
      \(P\) only if \(Q\)      
      \(P\) if \(Q\)      
      if \(Q\) then \(P\)      
      if \(\urcorner Q\) then \(\urcorner P\)      
      if \(Q\), then \(Q \wedge R\)      
      if \(P \vee Q\), then \(R\)      
    14. Working with Truth Values of Statements. Suppose that \(P\) and \(Q\) are true statements, that \(U\) and \(V\) are false statements, and that \(W\) is a statement and it is not known if \(W\) is true or false.

      Which of the following statements are true, which are false, and for which statements is it not possible to determine if it is true or false? Justify your conclusions.

      (a) \((P \vee Q) \vee (U \wedge W)\) (f) \((\urcorner P \vee \urcorner U) \wedge (Q \vee \urcorner V)\)
      (b) \(P \wedge (Q \to W)\) (g) \((P \wedge \urcorner Q) \wedge (U \vee W)\)
      (c) \(P \wedge (W \to Q)\) (h) \((P \vee \urcorner Q) \to (U \wedge W)\)
      (d) \(W \to (P \wedge U)\) (i) \((P \vee W) \to (U \wedge W)\)
      (e) \(W \to (P \wedge \urcorner U)\) (j) \((U \wedge \urcorner V) \to (P \wedge W)\)
    Answer

    Add texts here. Do not delete this text first.


    This page titled 2.1: Statements and Logical Operators is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Ted Sundstrom (ScholarWorks @Grand Valley State University) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.