Skip to main content
Mathematics LibreTexts

1.6: Exercises

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

    Exercise \(\PageIndex{1}\)

    Let \(p\text{,}\) \(q\text{,}\) and \(r\) represent the following statements.

    \begin{align*} p\colon\quad & \text{The game is on.} \\ q\colon\quad & \text{The popcorn is ready.} \\ r\colon\quad & \text{Joe is happy.} \end{align*}

    Suppose the following compound statement is true.

    If the game is on and the popcorn is ready, then Joe is happy.

    However, you just visited Joe's residence room and found that Joe is unhappy even though the game is on. What can you conclude about the popcorn? Use a truth table to justify your answer.

    Exercise \(\PageIndex{2}\)

    Consider the logical statement \((p \land q_1) \rightarrow (q_1 \lor q_2)\text{.}\) Partially translated, this statement says:

    if \(p\) and \(q_1\) are both true, then at least one of \(q_1\) and \(q_2\) is true.

    Would you expect this statement to be a tautology? … a contradiction? … neither?

    Use a truth table to check.

    Exercise \(\PageIndex{3}\)

    The wizard Hatty Porrer is studying logic at Cowpimples School for Second-Rate Wizards. As an exercise, he is filling out the truth table for the conditional

    \begin{equation*} (r \land s) \rightarrow (r \lor s) \text{.} \end{equation*}

    But he forgets what to do for the lines where the “if” part of the conditional evaluates to false, so he only gets this far:

    \(r\) \(s\) \(r \land s\) \(r \lor s\) \((r \land s) \rightarrow (r \lor s)\)
    \(T\) \(T\) \(T\) \(T\) \(T\)
    \(T\) \(F\) \(F\) \(T\) ?
    \(F\) \(T\) \(F\) \(T\) ?
    \(F\) \(F\) \(F\) \(F\) ?
    1. Help Hatty out by finishing his homework for him.
    2. While you were filling out the truth table, Hatty got bored and opened up a portal to a parallel universe. Parallel Hatty is also working on the same truth table, and is stuck at the same spot that normal Hatty was. However, you notice that parallel Hatty's textbook is open to the page with the truth table for the basic conditional \(p \rightarrow q\text{,}\) and it looks as follows.
    \(p\) \(q\) \(p \rightarrow q\)
    \(T\) \(T\) \(T\)
    \(T\) \(F\) \(F\)
    \(F\) \(T\) \(F\)
    \(F\) \(F\) \(T\)

    Finish parallel Hatty's homework exercise. Make sure parallel Hatty's instructor will like the result!

    1. While you were finishing parallel Hatty's homework, Hatty got bored again and opened up a portal to another parallel universe! Parallel Hatty number two is also working on the same truth table, and is stuck at the same spot that the previous two Hattys were. This time, however, parallel Hatty number two's textbook says that the truth table for the basic conditional \(p \rightarrow q\) is as follows.
    \(p\) \(q\) \(p \rightarrow q\)
    \(T\) \(T\) \(T\)
    \(T\) \(F\) \(F\)
    \(F\) \(T\) \(T\)
    \(F\) \(F\) \(F\)

    Finish parallel Hatty number two's homework exercise. Make sure parallel Hatty number two's instructor will approve!

    1. You'll never believe what happened while you were finishing parallel Hatty number two's homework! Yep, Hatty got bored again and opened up a portal to a third parallel universe. Parallel Hatty number three is also working on the same truth table, and is stuck at the same spot that the previous three Hattys were. The truth table for the basic conditional \(p \rightarrow q\) is different in parallel Hatty number three's universe, yet again.
    \(p\) \(q\) \(p \rightarrow q\)
    \(T\) \(T\) \(T\)
    \(T\) \(F\) \(F\)
    \(F\) \(T\) \(F\)
    \(F\) \(F\) \(F\)

    Finish parallel Hatty number three's homework exercise. Make sure parallel Hatty number three's instructor will give him full marks!

    1. OK, so what the heck is the point of all this? The statement \((r \land s) \rightarrow (r \lor s)\) could be read as:

    If \(r\) and \(s\) are both true statements, then at least one of \(r\) and \(s\) is a true statement.

    This conditional statement seems “obviously true”. Based on this example, what do you think of each parallel universe's system of logic compared to our own?

    Exercise \(\PageIndex{4}\)

    Suppose \(A,E,U\) are logical statements such that \(U\) is a tautology and \(E\) is a contradiction.

    1. Show that \(A \lor U\) is always a tautology.
    2. Show that \(A \land E\) is always a contradiction.

    Exercise \(\PageIndex{5}\)

    Suppose that \(A\text{,}\) \(B\text{,}\) and \(C\) are logical statements such that \(A \Rightarrow B\) and \(B \Rightarrow C\text{.}\) Must \(A \Rightarrow C\text{?}\)


    This page titled 1.6: Exercises is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Jeremy Sylvestre via source content that was edited to the style and standards of the LibreTexts platform.