Skip to main content
Mathematics LibreTexts

7.9.5: Chapter Review

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

    Chapter Review

    Statements and Quantifiers

    Fill in the blanks to complete the following sentences.

    1. The ______________ of a logical statement has the opposite truth value of the original statement.
     
    2. _______________ are logical statements presented as the facts used to support the conclusion of a logical argument.
     
    Determine whether each of the following sentences represents a logical statement, also called a proposition. If it is a logical statement, determine whether it is true or false.
     
    3. Where is the restroom?
    4. No even numbers are odd numbers.
     
    5.  4 + 3 = 8.
     
    Write the negation of each following statement symbolically and in words.

    6. ~p: Pink Floyd’s album The Wall is not a rock opera.

    7. q: Some dogs are Labrador retrievers.

    8. ~r: Some universities are not expensive.

    Draw a logical conclusion to the following arguments, and include in both one of the following quantifiers: all, some, or none.

    9. Spaghetti noodles are made with wheat, ramen noodles are made with wheat, and lo mein noodles are made with wheat.

    10. A Porsche Boxster does not have four doors, a Volkswagen Beetle does not have four doors, and a Mazda Miata does not have four doors.
    Compound Statements

    Fill in the blanks to complete the following sentences.

    11. ___________________ are words or symbols used to join two or more logical statement together to from a compound statement.

    12. __________________ and __________________ have equal dominance and are evaluated from left to right when no parentheses are present in a compound logical statement.

    Translate each compound statement below into symbolic form.
     
    Given: p: “Tweety Bird is a bird,” q: “Bugs is a bunny,” r: “Bugs says, ‘What’s up, Doc?’,” s: “Sylvester is a cat,” and t: “Sylvester chases Tweety Bird.”

    13.If Tweety Bird is a bird, then Sylvester will not chase him.

    14. Tweety Bird is a bird and Sylvester chases him if and only if Bugs says, “What’s up Doc?”

    Translate the symbolic form of each compound logical statement below into words.

    Given: p: “Tweety Bird is a bird,” q: “Bugs is a bunny,” r: “Bugs says, ‘What’s up, Doc?’,” s: “Sylvester is a cat,” and t: “Sylvester chases Tweety Bird.”

    15. \(\sim q \vee p \rightarrow \sim s\)
     
    16. \(\sim(p \wedge \sim s) \leftrightarrow q \rightarrow r\)

    For each of the following compound logical statements, apply the proper dominance of connectives by adding parentheses to indicate the order to evaluate the statement.

    17. \(p \vee q \wedge r \rightarrow \sim s \wedge t\)
     
    18. \(\sim p \rightarrow q \vee r \leftrightarrow p \wedge s \rightarrow \sim t\)
    Constructing Truth Tables

    Fill in the blanks to complete the sentences.

    19. A ______________ is true if at least one of its component statements is true.

    20. For a ____________________ to be true, all of its component statements must be true.

     
    Given the statements, p: “No fish are mammals,” q: “All lions are cats,” and ~r: “Some birds do not lay eggs,” construct a truth table to determine the truth value of each compound statement below.

    21. \(p \wedge \sim r\)

    22. \(\sim(p \vee \sim r)\)

    23. \(\sim p \vee q \wedge \sim(\sim r)\)

     
    Construct a truth table to analyze all the possible outcomes of the following statements, and determine whether the statements are valid.

    24. \(\sim p \vee q \wedge p\)

    25. \(\sim p \vee q \vee \sim q\)

    Truth Tables for the Conditional and Biconditional

    Fill in the blanks to complete the following sentences.

    26. If the , \(p\), of a conditional statement is true, then the conclusion, \(q\), must also be true for the conditional statement \(p \rightarrow q\) to be true.
     
    27. The biconditional statement \(p \leftrightarrow q\) is whenever the truth value of \(p\) matches the truth value of \(q\), otherwise it is

    Complete the truth tables below to determine the truth value of the proposition in the last column.

     

    28.
    p q r \(p \vee q\) \( \sim(p \vee q) \) ~r \(\sim(p \vee q) \rightarrow \sim r\)
    F F T        

     

    29.

    p q ~q \(p \rightarrow q \) \(\sim(p \rightarrow q)\) \(p \wedge \sim q \) \(\sim(p \rightarrow q) \leftrightarrow(p \wedge \sim q)\)
    T F          
     
    Assume the following statements are true. p: “Poof is a baby fairy,” q: “Timmy Turner has fairly odd parents,” r: “Cosmo and Wanda will grant Timmy’s wishes,” and t: “Timmy Turner is 10 years old.” Translate each of the following statements into symbolic form, then determine its truth value.

    30. If Timmy Turner is 10 years old and Poof is not a baby fairy, then Timmy Turner has fairly odd parents.

    31. Cosmos and Wanda will not grant Timmy’s wishes if and only if Timmy Turner is 10 years old or he does not have fairly odd parents.

    32. Construct a truth table to analyze all the possible outcomes and determine the validity of the following argument.

    \(\sim p \vee q \leftrightarrow \sim q \rightarrow \sim p\)

    Equivalent Statements
    Fill in the blanks to complete the sentences below.
     
    33. The _________________ is logically equivalent to the inverse \( \sim p \rightarrow \sim q \).

    34. The _________________ is logically equivalent to the conditional \(p \rightarrow q \).

    Use the conditional statement, \(p \rightarrow q \): “If Novak makes the basket, then Novak’s team will win the game," to answer the following questions.
     
    35. Write the conclusion of the conditional statement in words and label it appropriately.

    36. Write the hypothesis of the conditional statement in words and label it appropriately.

    37. Identify the following statement as the converse, inverse, or contrapositive: “If Novak does not make the basket, then his team will not win the game.”

    38. Identify the following statement as the converse, inverse, or contrapositive: “If Novak’s team wins the game, then he made the basket.”

    De Morgan’s Laws
    Fill in the blanks to complete the sentences.

    39. De Morgan’s Law for the negation of a disjunction states that \( ~(p \vee q) \equiv \) ____________.

    40. De Morgan’s Law for the negation of a conjunctions states that _____________\( \equiv ~p \vee ~q \).
     

    41. Apply De Morgan’s Law to write the statement without parentheses: \( ~\left( ~p \wedge q \right) \).

    42. Apply the property for the negation of a conditional to write the statement as a conjunction or disjunction: \( ~(~p \wedge q \to~r) \).

    43. Write the negation of the conditional statement in words: If Thomas Edison invented the phonograph, then albums are made of vinyl, or the transistor radio was the first portable music device.

    44. Construct a truth table to verify that the logical property is valid: \( ~\left( ~p \to~q \right) \equiv ~p \wedge q \).
    Logical Arguments

    Fill in the blanks to complete the sentences below.

    45. The _____ ___ __________ is a valid logical argument with premises, p \to q and p, used to support the conclusion, q.
     
    46. The chain rule for conditional arguments states that the ___________________ property applies to conditional arguments, so that: \( \left( p \to q \right) \wedge \left( q \to r \right) \to \left( p \to r \right) \). 
     
    Assume each pair of statements represents true premises in a logical argument. Based on these premises, state a valid conclusion that is consistent with the form of the argument.

    47. If the Tampa Bay Buccaneers did not win Super Bowl LV, then Tom Brady was not their quarterback. Tom Brady was the Tampa Bay Buccaneers quarterback.

    48. If ~q, then p and if r, then ~q.

    49. If Kamala Harris is the vice president of the United States, then Kamala Harris is the president of the U.S. Senate. Kamala Harris is the vice president of the United States.

    50. Construct a truth table or Venn diagram to prove whether the following argument is valid. If the argument is valid, determine whether it is sound.
    If all frogs are brown, then Kermit is not a frog. Kermit is a frog. Therefore, some frogs are not brown.

    This page titled 7.9.5: Chapter Review is shared under a CC BY-NC 4.0 license and was authored, remixed, and/or curated by OpenStax via source content that was edited to the style and standards of the LibreTexts platform.