Skip to main content
Mathematics LibreTexts

2.7.0: Exercises

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

    For the following exercises, analyze the argument and identify the form of the argument as the law of detachment, the law of denying the consequent, the chain rule for conditional arguments, or none of these.

    Exercise \(\PageIndex{1}\)

    If Apple Inc. releases a new iPhone, then customers will buy it. Customers did not buy a new iPhone. Therefore, Apple Inc. did not release a new iPhone.

    Exercise \(\PageIndex{2}\)

    In the animated movie Toy Story, if Paul Newman turned down the role of voicing Woody, then Tom Hanks was chosen for the role. Tom Hanks was chosen as the voice for Woody, therefore, Paul Newman turned down the role of voicing Woody in Toy Story.

    Exercise \(\PageIndex{3}\)

    \(p \rightarrow q\) and \(q \rightarrow r . \therefore p \rightarrow r\).

    Exercise \(\PageIndex{4}\)

    \(p \rightarrow q\) and \(p . \therefore q\).

    Exercise \(\PageIndex{5}\)

    \(p \rightarrow q\) and \(\sim q . \therefore \sim p\).

    Exercise \(\PageIndex{6}\)

    If all people are created equal, then all people are the same with respect to the law. If all people are the same with respect to the law, then justice is blind. Therefore, if all people are created equal, then justice is blind.

    Exercise \(\PageIndex{7}\)

    If I mow the lawn, then my caregiver will pay me twenty dollars. I mowed the lawn. Therefore, my caregiver paid me twenty dollars.

    Exercise \(\PageIndex{8}\)

    If Robin Williams was a comedian, then some comedians are funny. No comedians are funny. Therefore, Robin Williams was not a comedian.

    For the following exercises, each pair of statements represents the premises in a logical argument. Based on these premises, apply the law of detachment to determine and write a valid conclusion.

    Exercise \(\PageIndex{9}\)

    \(p \rightarrow \sim q\) and \(p\).

    Exercise \(\PageIndex{10}\)

    \(\sim p \rightarrow q\) and \(\sim p\).

    Exercise \(\PageIndex{11}\)

    If Richard Harris played Dumbledore, then Daniel Radcliffe played Harry Potter. Richard Harris played Dumbledore.

    Exercise \(\PageIndex{12}\)

    If Emma Watson is an actor, then Emma Watson starred as Belle in the movie Beauty and the Beast. Emma Watson is an actor.

    Exercise \(\PageIndex{13}\)

    If some Granny Smiths are available, then we will make an apple pie. Some Granny Smiths are available.

    Exercise \(\PageIndex{14}\)

    If Peter Rabbit lost his coat, then all rabbits must avoid Mr. McGregor's garden. Peter Rabbit lost his coat. For the following exercises, each pair of statements represents the premises in a logical argument. Based on these premises, apply the law of denying the consequent to determine and write a valid conclusion.

    Exercise \(\PageIndex{15}\)

    If Greg and Ralph are friends, then Greg will not play a prank on Ralph. Greg played a prank on Ralph.

    Exercise \(\PageIndex{16}\)

    If Drogon is not a dragon, then Daenerys ruled Westeros. Daenerys did not rule Westeros.

    Exercise \(\PageIndex{17}\)

    \(p \rightarrow \sim q\) and \(q\).

    Exercise \(\PageIndex{18}\)

    \(\sim p \rightarrow q\) and \(\sim q\).

    Exercise \(\PageIndex{19}\)

    If all dragons breathe fire, then rainwings are not dragons. Rainwings are dragons.

    Exercise \(\PageIndex{20}\)

    If some pirates have parrots as pets, then some parrots do not like crackers. All parrots like crackers.

    For the following exercises, each pair of statements represent true premises in a logical argument. Based on these premises, apply the chain rule for conditional arguments to determine a valid and sound conclusion.

    Exercise \(\PageIndex{21}\)

    \(\sim p \rightarrow q\) and \(q \rightarrow \sim r\).

    Exercise \(\PageIndex{22}\)

    \(r \rightarrow \sim q\) and \(\sim q \rightarrow \sim p\).

    Exercise \(\PageIndex{23}\)

    \(q \rightarrow r\) and \(p \rightarrow q\).

    Exercise \(\PageIndex{24}\)

    \(\sim r \rightarrow p\) and \(q \rightarrow \sim r\).

    Exercise \(\PageIndex{25}\)

    If Mr. Spock is a science officer, then Montgomery Scott is an engineer. If Montgomery Scott is an engineer, then James T. Kirk is the captain.

    Exercise \(\PageIndex{26}\)

    If Prince Charles is a character from Star Wars, then Luke Skywalker is not a Jedi. If Luke Skywalker is not a Jedi, then Darth Vader is not his father.

    For the following exercises, each pair of statements represent true premises in a logical argument. Based on these premises, state a valid conclusion based on the form of the argument.

    Exercise \(\PageIndex{27}\)

    If my siblings drink milk out of the carton, then they will leave the carton on the counter. My siblings did not leave the carton on the counter.

    Exercise \(\PageIndex{28}\)

    If my friend likes to bowl, then my partner does not like to play softball. My friend likes to bowl.

    Exercise \(\PageIndex{29}\)

    If mathematics is fun, then students will study algebra. If students study algebra, then they will score a 100 on their final exam.

    Exercise \(\PageIndex{30}\)

    If all fleas bite and our dog has fleas, then our dog will scratch a lot. Our dog will not scratch a scratch a lot.

    Exercise \(\PageIndex{31}\)

    If the toddler is not tall, then they will use a stepladder to reach the cookie jar. If the toddler will use a stepladder to reach the cookie jar, then they will drop the jar. If they drop the cookie jar, then they will not eat any cookies.

    Exercise \(\PageIndex{32}\)

    If you do not like to dance, then you will not go to the club. You went to the club.

    For the following exercises, use a truth table or construct a Venn diagram to prove whether the following arguments are valid.

    Exercise \(\PageIndex{33}\)

    Denying the hypothesis: \(p \rightarrow q\) and \(\sim p\). Therefore, \(\sim q\).

    Exercise \(\PageIndex{34}\)

    Affirming the consequent: \(p \rightarrow q\) and \(q\). Therefore, \(p\).

    Exercise \(\PageIndex{35}\)

    \(\sim p \vee q\) and \(p\). Therefore, \(q\).

    Exercise \(\PageIndex{36}\)

    \(p \wedge q \rightarrow r\) and \(\sim r\). Therefore, \(\sim p \vee \sim q\).


    2.7.0: Exercises is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?