15.1: Chapter 2
- Page ID
- 129931
\( \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}\)Your Turn
2.1
1. Logical statement, false.
2. Logical statement, true.
3. Not a logical statement, questions cannot be determined to be either true or false.
2.2
1. \(p{\text{:}}\) The movie Gandhi won the Academy Award for Best Picture in 1982.
2. \(q{\text{:}}\) Soccer is the most popular sport in the world.
3. \(r{\text{:}}\) All oranges are citrus fruits.
2.3
1. Ted Cruz was born in Texas.
2. Adele does not have a beautiful voice.
3. Leaves do not convert carbon dioxide to oxygen during the process of photosynthesis.
2.4
1. \(p\)
2. \(\text~q\)
3. \(\text~r\)
2.5
1. \(p\)
2. Woody and Buzz Lightyear are not best friends.
2.6
1. The sum of some consecutive integers results in a prime number.
2.
No birds give live birth to their young.
3.
All squares are parallelograms and have four sides.
2.7
1. All apples are sweet.
2. Some triangles are squares.
3. No vegetables are green.
2.8
1. Negation; \(\sim\).
2. Conjunction; \(\wedge\).
3. Biconditional; \(\leftrightarrow\).
2.9
1. \(q \wedge \text{~}p\)
2. \(q \leftrightarrow p\)
3. \(p \vee \text{~}q\)
4. \(p \to q\)
2.10
1. If our friends did not come over to watch the game, then my roommates ordered pizza or I ordered wings.
2. If my roommates ordered pizza and I ordered wings, then our friends came over to watch the game.
3. It is not the case that my roommates ordered pizza or our friends came over to watch the game.
2.11
1. \(((p \vee q) \wedge (\text{~}r))\)
2. \(((\text{~}p) \to (q \vee r))\)
3. \(((\text{~}p) \vee (\text{~}q)) \leftrightarrow (\text{~}(p \wedge q))\); this is another example of De Morgan’s Laws and it is always true.
2.12
1. \(p{\text{:}}\,3 \times 5 \ne 14\), true
2. \(q\): No houses are built with bricks; false
3. \(\text~r\): Abuja is not the capital of Nigeria; false
2.13
1. True
2. False
3. True
2.14
1. True
2. False
3. True
2.15
1.
false
| \(p\) | \(q\) | \(r\) | \(\text{~}q\) | \(\text{~}q \wedge p\) | \((\text{~}q \wedge p) \vee r\) |
|---|---|---|---|---|---|
| T | T | F | F | F | F |
2.
true
| \(p\) | \(q\) | \(r\) | \(\text{~}r\) | \(p \vee q\) | \((p \vee q) \wedge (\text{~}r)\) |
|---|---|---|---|---|---|
| T | T | F | T | T | T |
3.
true
| \(p\) | \(q\) | \(r\) | \((p \wedge r)\) | \(\text{~}(p \wedge r)\) | \(\text{~}(p \wedge r) \wedge q\) |
|---|---|---|---|---|---|
| T | T | F | F | T | T |
2.16
1.
| \(p\) | \(q\) | \(\text~q\) | \(p \wedge \text{~}q\) |
|---|---|---|---|
| T | T | F | F |
| T | F | T | T |
| F | T | F | F |
| F | F | T | F |
2.
| \(p\) | \(q\) | \(p \vee q\) | \(\text{~}(p \vee q)\) |
|---|---|---|---|
| T | T | T | F |
| T | F | T | F |
| F | T | T | F |
| F | F | F | T |
3.
| \(p\) | \(q\) | \(r\) | \(\text{~}q\) | \(p\, \wedge \text{~}q\) | \((p \wedge \text{~}q) \vee r\) |
|---|---|---|---|---|---|
| T | T | T | F | F | T |
| T | T | F | F | F | F |
| T | F | T | T | T | T |
| T | F | F | T | T | T |
| F | T | T | F | F | T |
| F | T | F | F | F | F |
| F | F | T | T | F | T |
| F | F | F | T | F | F |
2.17
1. Valid
| \(p\) | \(\text{~}{p}\) | \({p} \vee \text{~}{p}\) |
|---|---|---|
| T | F | T |
| F | T | T |
2. Not valid
| \(p\) | \(q\) | \(\text{~}{p}\) | \(\text{~}{q}\) | \(\text{~}p \vee ~q\) |
|---|---|---|---|---|
| T | T | F | F | F |
| T | F | F | T | T |
| F | T | T | F | T |
| F | F | T | T | T |
2.18
1. False
| \(p\) | \(q\) | \({p} \to {q}\) |
|---|---|---|
| T | F | F |
2. True
| \(p\) | \(q\) | \(\text{~}{q}\) | \({p} \to \text{~}{q}\) |
|---|---|---|---|
| T | F | T | T |
3. True
| \(p\) | \(q\) | \(\text{~}{p}\) | \(\text{~}{p} \to \text{~}q\) |
|---|---|---|---|
| T | F | F | T |
2.19
1. Valid
| \(p\) | \(q\) | \(\text{~}{p}\) | \(\text{~}{p} \vee {q}\) | \({q} \to \left( {\text{~}{p} \vee {q}} \right)\) |
|---|---|---|---|---|
| T | T | F | T | T |
| T | F | F | F | T |
| F | T | T | T | T |
| F | F | T | T | T |
2. Not valid
| \(p\) | \(q\) | \(\text{~}{p}\) | \({q} \wedge {p}\) | \(\text{~}{p} \to \left( ParseError: EOF expected (click for details) \right)\)Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/15:_Answer_Key/15.01:_Chapter_2), /content/body/div[12]/table/thead/tr/th[5]/span, line 1, column 2
|
|---|---|---|---|---|
| T | T | F | T | T |
| T | F | F | F | T |
| F | T | T | F | F |
| F | F | T | F | F |
2.20
1. False
| \(p\) | \(q\) | \({p} \leftrightarrow {q}\) |
|---|---|---|
| T | F | F |
2. True
| \(p\) | \(q\) | \(\text{~}{q}\) | \({p} \leftrightarrow \text{~}{q}\) |
|---|---|---|---|
| T | F | T | T |
3. True
| \(p\) | \(q\) | \(\text{~}{p}\) | \(\text{~}{p} \leftrightarrow {q}\) |
|---|---|---|---|
| T | F | F | T |
2.21
1. Valid
| \(p\) | \(q\) | \({p} \wedge {q}\) | \(\text{~}\left( ParseError: EOF expected (click for details) \right)\)Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/15:_Answer_Key/15.01:_Chapter_2), /content/body/div[16]/div/table/thead/tr/th[4]/span, line 1, column 2
|
\(\text{~}{p}\) | \(\text{~}{q}\) | \(\text{~}{p} \vee \text{~}{q}\) | \(\text{~}\left( ParseError: EOF expected (click for details) \right) \leftrightarrow \left( {\text{~}{p} \vee \text{~}{q}} \right)\)Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/15:_Answer_Key/15.01:_Chapter_2), /content/body/div[16]/div/table/thead/tr/th[8]/span, line 1, column 2
|
|---|---|---|---|---|---|---|---|
| T | T | T | F | F | F | F | T |
| T | F | F | T | F | T | T | T |
| F | T | F | T | T | F | T | T |
| F | F | F | T | T | T | T | T |
2. Not Valid
| \(p\) | \(q\) | \(\text{~}{p}\) | \({q} \wedge {p}\) | \(\text{~}{p} \leftrightarrow \left( ParseError: EOF expected (click for details) \right)\)Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/15:_Answer_Key/15.01:_Chapter_2), /content/body/div[17]/table/thead/tr/th[5]/span, line 1, column 2
|
|---|---|---|---|---|
| T | T | F | T | F |
| T | F | F | F | T |
| F | T | T | F | F |
| F | F | T | F | F |
3. Valid
| \(p\) | \(q\) | \({p} \to {q}\) | \(\text{~}{p}\) | \(\text{~}{p} \vee {q}\) | \(\left( {p \to q} \right) \leftrightarrow \left( {\text{~}p \vee q} \right)\) |
|---|---|---|---|---|---|
| T | T | T | F | T | T |
| T | F | F | F | F | T |
| F | T | T | T | T | T |
| F | F | T | T | T | T |
4. Valid
| \(p\) | \(q\) | \(r\) | \(\text{~}{p}\) | \(\text{~}{q}\) | \({p} \wedge {q}\) | \(\left( ParseError: EOF expected (click for details) \right) \to {r}\)Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/15:_Answer_Key/15.01:_Chapter_2), /content/body/div[19]/table/thead/tr/th[7]/span, line 1, column 2
|
\(\text{~}{p} \vee \text{~}{q}\) | \(\left( ParseError: invalid DekiScript (click for details) \right) \vee {r}\)Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/15:_Answer_Key/15.01:_Chapter_2), /content/body/div[19]/table/thead/tr/th[9]/span, line 1, column 1
|
\(\left( ParseError: EOF expected (click for details) \right) \leftrightarrow \left( Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/15:_Answer_Key/15.01:_Chapter_2), /content/body/div[19]/table/thead/tr/th[10]/span[1], line 1, column 2
ParseError: invalid DekiScript (click for details) \right)\)Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/15:_Answer_Key/15.01:_Chapter_2), /content/body/div[19]/table/thead/tr/th[10]/span[2], line 1, column 1
|
|---|---|---|---|---|---|---|---|---|---|
| T | T | T | F | F | T | T | F | T | T |
| T | T | F | F | F | T | F | F | F | T |
| T | F | T | F | T | F | T | T | T | T |
| T | F | F | F | T | F | T | T | T | T |
| F | T | T | T | F | F | T | T | T | T |
| F | T | F | T | F | F | T | T | T | T |
| F | F | T | T | T | F | T | T | T | T |
| F | F | F | T | T | F | T | T | T | T |
2.22
1. \(p \to q\) is logically equivalent to \(\text{~}q \to\text{~}p.\)
| \({p}\) | \({q}\) | \({p} \to {q}\) | \(\text{~}{q}\) | \(\text{~}{p}\) | \(\text{~}{q} \to \text{~}{p}\) | \(\left( {p} \to {q} \right) \leftrightarrow \left( {\text{~}{q} \to \text{~}{p}} \right)\) |
|---|---|---|---|---|---|---|
| T | T | T | F | F | T | T |
| T | F | F | T | F | F | T |
| F | T | T | F | T | T | T |
| F | F | T | T | T | T | T |
2. \(p \to q\) is not logically equivalent to \(p \vee \text{~}q.\)
| \(p\) | \(q\) | \({p} \to {q}\) | \(\text{~}{q}\) | \({p}\rm \vee \text{~}{q}\) | \(\left( ParseError: EOF expected (click for details) \right) \leftrightarrow \left( Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/15:_Answer_Key/15.01:_Chapter_2), /content/body/div[21]/table/thead/tr/th[6]/span[1], line 1, column 2
ParseError: EOF expected (click for details) \right)\)Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/15:_Answer_Key/15.01:_Chapter_2), /content/body/div[21]/table/thead/tr/th[6]/span[2], line 1, column 2
|
|---|---|---|---|---|---|
| T | T | T | F | T | T |
| T | F | F | T | T | F |
| F | T | T | F | F | F |
| F | F | T | T | T | T |
2.23
1.
If Elvis Presley wore capes, then some superheroes wear capes.
2.
If some superheroes wear capes, then Elvis Presley wore capes.
3.
If Elvis Presley did not wear capes, then no superheroes wear capes.
4.
If no superheroes wear capes, then Elvis Presley did not wear capes.
2.24
1. \(p\): Dora is an explorer.
2. \(q\): Boots is a monkey.
3. Inverse
4. Converse
5. Converse
2.25
1. If my friend does not live in California, then my friend lives in San Francisco. True.
2. If my friend does not live in San Francisco, then my friend lives in California. True.
3. If my friend lives in California, then my friend does not live in San Francisco. False.
2.26
1. Jackie did not play softball and she did not run track.
2.
Brandon did not study for his certification exam, or he did not pass his exam.
2.27
1. Edna Mode made a new superhero costume, and it includes a cape.
2.
I had pancakes for breakfast, and I did not use maple syrup.
2.28
1. Some people like ice cream, but ice cream makers will not make a profit.
2. Raquel cannot play video games, but somebody will play video games.
2.29
1. Eric needs to replace the light bulb, and Marcos did not leave the light bulb on all night, and Dan did not break the light bulb.
2. Trenton went to school, and Regina went to work, and Merika did not clean the house.
2.30
1.
| \(p\) | \(q\) | \({p} \vee {q}\) | \(\text{~}\left( ParseError: EOF expected (click for details) \right)\)Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/15:_Answer_Key/15.01:_Chapter_2), /content/body/div[29]/div/table/thead/tr/th[4]/span, line 1, column 2
|
\(\text{~}p\) | \(\text{~}q\) | \(\text{~}p \wedge \text{~}q\) | \(\text{~}({p} \vee {q}) \leftrightarrow \left( {\text{~}p \wedge \text{~}q} \right)\) |
|---|---|---|---|---|---|---|---|
| T | T | T | F | F | F | F | T |
| T | F | T | F | F | T | F | T |
| F | T | T | F | T | F | F | T |
| F | F | F | T | T | T | T | T |
2.31
1. Some people like history.
2.
Some people do not like reading.
3.
The polygon is not an octagon.
2.32
1. My classmate does not like history.
2. Homer likes to read.
3. The polygon does not have five sides.
2.33
1. If my roommate does not go to work, then they will not be able to pay their bills.
2. If penguins cannot fly, then we will watch the news.
3. If Marcy goes to the movies, then she will buy water.
Check Your Understanding
1. logical statement
2.
negation
3. \(\text{~}p\)
4.
\(p\)
5.
premises
6.
Inductive
7.
quantifiers
8. Some giraffes are not tall.
9. compound statement
10.
connective
11.
biconditional, \(\leftrightarrow\)
12.
Parentheses, \((\,)\)
13.
Conjunction, \(\wedge\); disjunction, \(\vee\) (in any order)
14.
valid
15.
true
16.
truth table
17.
four
18.
two
19. one-way contract
20. conclusion
21. hypothesis
22. biconditional
23. biconditional
24. true
25. always true, valid, or a tautology.
26. conditional
27. logically equivalent
28. inverse
29. converse, inverse
30. \(\text{~}p \vee \text{~}q\)
31. \(\text{~}p \wedge \text{~}q\)
32. \(p \wedge \text{~}q\)
33. De Morgan’s Laws
34. premise
35. valid
36. inductive
37. deductive
38. fallacy
39. sound