Skip to main content
Mathematics LibreTexts

7.9.9: Chapter Test

  1. Last updated
  2. Save as PDF
  • Page ID
    156265

    • \( \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 Test

    Determine whether each of the following sentences represent a logical statement. If it is a logical statement, determine whether it is true or false.
    1.
    /**/1 + 2 - 3 = 0/**/
    2.
    Please, sit down over there.
    3.
    All mammals lay eggs.

    Write the negation of each statement below.

    4.
    Some monkeys do not have tails.
    5.
    /**/p \wedge \text{~}q/**/
    6.
    If the plumber does not remove the clog, then the homeowner will not pay the plumber.
    Given: /**/p{:}/**/ Frodo is a hobbit, /**/q{:}/**/ Gandalf is a wizard, /**/r{:}/**/ Frodo and Samwise will take the ring to Mordor, and /**/s{:}/**/ Gollum will help Frodo get into Mordor.
    Translate the symbolic form of each compound logical statement into words.
    7.
    /**/p \vee q \leftrightarrow r/**/
    8.
    /**/\text{~}\left( {\text{~}r \vee \text{~}s} \right)/**/
    Translate the written form of each compound logical statement into symbolic form.
    9.
    Frodo and Samwise will take the ring to Mordor or Gandalf is not a wizard and Frodo is a hobbit.
    10.
    If Gollum will not help Frodo get into Mordor, then Gandalf is not a wizard and Frodo is not a hobbit.
    For each of the following compound logical statements, apply the proper dominance of connectives by adding parentheses to indicate the order in which the statement must be evaluated.
    11.
    /**/\text{~}p \to q \leftrightarrow r/**/
    12.
    /**/\text{~}\left( {p \wedge q} \right) \leftrightarrow {\text{ }}\text{~}p \vee \text{~}q/**/
    13.
    Complete the truth table to determine the truth value of the proposition in the last column.
    /**/p/**/ /**/q/**/ /**/{p} \wedge {q}/**/ /**/\text{~}{q}/**/ /**/{p}{\text{ }} \vee \text{~}{q}/**/ /**/\left(
    ParseError: EOF expected (click for details)
    Callstack:
    at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/02:_Logic/2.09:_Chapter_Summary/2.9.06:_Chapter_Test), /content/body/div[11]/div/div/div/table/thead/tr/th[6]/span/span[1], line 1, column 2
    at wiki.page()
    at (Courses/Coalinga_College/Math_for_Educators_(MATH_010A_and_010B_CID120)/07:_Logic/7.09:_Chapter_Summary/7.9.09:_Chapter_Test), /content/body/div/pre, line 2, column 14
    \right) \leftrightarrow \left(
    ParseError: EOF expected (click for details)
    Callstack:
    at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/02:_Logic/2.09:_Chapter_Summary/2.9.06:_Chapter_Test), /content/body/div[11]/div/div/div/table/thead/tr/th[6]/span/span[2], line 1, column 2
    at wiki.page()
    at (Courses/Coalinga_College/Math_for_Educators_(MATH_010A_and_010B_CID120)/07:_Logic/7.09:_Chapter_Summary/7.9.09:_Chapter_Test), /content/body/div/pre, line 2, column 14
    \right)/**/
    F T
    Given the true statements /**/p{:}/**/ “A right triangle has one 90-degree angle," /**/q{:}/**/ "The triangle is a right triangle," /**/r{:}/**/ "/**/{a^2} + {b^2} = {c^2},/**/" and /**/s{:}/**/ "The longest side of a triangle is /**/c/**/ implies /**/a + b/**/ must be c" class=" math-rendered">/**/ > c/**/." Write each of the following compound statements in symbolic form, then construct a truth table to determine the truth value of the compound statement.
    14.
    If a triangle is a right triangle, then it does not have one 90-degree angle or /**/{a^2} + {b^2} = {c^2}./**/
    15.
    The triangle is a right triangle, or a right triangle does not have a 90-degree angle, if and only if it is not the case that the longest side of a triangle is /**/c/**/ implies /**/a + b/**/ must be c" class=" math-rendered">/**/> c/**/.
    Use the conditional statement, /**/p \to q{:}/**/ "If Phil Mickelson is 50 years old, then Phil Mickelson won the Player’s Championship," to answer the following questions.
    16.
    Write the converse statement in words.
    17.
    If the conditional statement is true, and the hypothesis is true, what is a valid conclusion to the argument?
    18.
    If the conditional statement is true, and the conclusion is false, what is a valid conclusion to the argument?
    19.
    Construct a truth table to analyze all the possible outcomes and determine the validity of the following argument.
    /**/\text{~}p \vee q \leftrightarrow q \to p/**/
    20.
    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 John Mayer played MTV unplugged, then some guitars are acoustic. John Mayer played MTV unplugged. Therefore, some guitars are acoustic.

    This page titled 7.9.9: Chapter Test 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.