1.E: Basic Language of Mathematics (Exercises)

Last updated

Nov 27, 2024
Save as PDF
- 1.3: Arguments
- 2: Basic Concepts of Sets

$\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}$ : Statements

Which of the following are statements?

I am here.
Why am I here?
Life is beautiful.
My car is red and my house is yellow.
An integer is even if and only if it is divisible by 2 with no remainder.

Answer: 1,5.

Thinking out loud

Is "mine" objectively true in every case? In terms of phrasing, are "my car" and "your car" different?

What about mathematically? If any given person says "my car," are they referencing the same vehicle?

Exercise $\PageIndex{2}$ : Compound Statements

Let $p$ be the statement "some people are mortal," and $q$ be the statement "All people can reason." State, in clear English, the following cases:

$\neg p$
$\neg q$
$p \wedge q$
$\neg (p \wedge q)$

Answer: All people are not mortal, Some people can't reason, Some people are mortal and all people can reason, All people are not mortal or some people can't reason.

Exercise $\PageIndex{3}$ : Truth Tables

Construct truth tables for the following statements:

$\neg p \wedge \neg q$

Answer

Table $\PageIndex{3}$ : Truth Table
$p$	$q$	$\neg p$	$\neg p \wedge \neg q$	$\neg q$
T	T	F	F	F
T	F	F	F	T
F	T	T	F	F
F	F	T	T	T

2. $\neg q \to p$

Answer

Table $\PageIndex{3}$ : Truth Table
$p$	$q$	$\neg q$	$\neg q \to p$
T	T	F	T
T	F	T	T
F	T	F	T
F	F	T	F

3. $(p \to q) \wedge (q \to p)$

Answer

Table $\PageIndex{3}$ : Truth Table
$p$	$q$	$p \to q$	$(p \to q) \wedge (q \to p)$	$q \to p$
T	T	T	T	T
T	F	F	F	T
F	T	T	F	F
F	F	T	T	T

Exercise $\PageIndex{4}$ : Intuitive Reasoning

Suppose you throw four darts at a dartboard. The board has four concentric sections:

A bull's eye, worth 10 points
The section nearest the middle, worth 8 points
The middle section, worth 6 points
The outer section, worth 4 points

Supposing that all four darts thrown hit the board, what kinds of scores are possible? What kinds of scores are impossible?

Exercise $\PageIndex{5}$ : Negation of Statements with Quantifiers

Find the negation of $\forall x \, \exists y \, s.t. \, x-y=2.$

Answer: $\forall y \, \exists x \, s.t. \, x-y \ne 2.$

Exercise $\PageIndex{6}$ : Logical Equivalency

Prove or disprove the following statement: The expressions $(p \vee q )\to r$ and $(p \to r)\wedge( q \to r)$ are logically equivalent.

Answer: The expressions $(p \vee q )\to r$ and $(p \to r)\wedge( q \to r)$ are logically equivalent.

Exercise $\PageIndex{7}$ : True or False

Assess whether each of the following statement is true or false and justify your answer.

$7$ is an integer and $-7>3.$
$(-5)(-2) \geq -10.$
If $(4)(5)=10$ then $\frac{10}{4}=5.$
If $8<5$ then $8=5.$

Answer: F, T, T, T.

Exercise $\PageIndex{8}$ : Tautology

Prove or disprove: for any mathematical statements $p,q$ and $r$ , $(p \leftrightarrow ((\neg q) \wedge(\neg r))) \to (\neg(q \wedge r) \to p)$ is a tautology.

Exercise $\PageIndex{9}$ : Logical Equivalents

Let $p$ and $q$ be mathematical statements. Then show that the following statements are true:

$p \vee q \equiv q \vee p$ , and $p \wedge q \equiv q\wedge p$ .
$\neg((p \vee q)\equiv \neg p \wedge \neg q$ and $\neg((p \wedge q) \equiv \neg p \vee \neg q$
$p \rightarrow q \equiv \neg q \rightarrow \neg p$
$p \rightarrow q \equiv \neg p \vee q$
$\neg (\neg p) \equiv p$
$p \leftrightarrow q \equiv ((p \rightarrow q) \wedge ( q \rightarrow p)$

Answer

Table $\PageIndex{9}$ : Truth Table
$p$	$q$	$p \vee q$	$q \vee p$
T	T	T	T
T	F	T	T
F	T	T	T
F	F	F	F

Exercise $\PageIndex{10}$ : Reasoning

Determine whether the following arguments are valid or invalid:

All polygons have angles.

A circle has no angle.

A circle is not a polygon.

If you don’t work hard then you won’t succeed.

You work hard.

Therefore, you will succeed.

If you make an A on the midterm, you won’t have to take the final.

Jose did not take the final.

Therefore, Jose made an A on the midterm.

If a number is divisible by 8 then it is divisible by 4.

X is not divisible by 8.

Therefore x is not divisible by 4.

If I am rich, I would buy a cabin.

I am not rich.

Therefore I have not bought a cabin.

6. If p is a prime number larger than 2 then p is odd.

p is odd.

Therefore p is a prime number.

Search

Text Color

Text Size

Margin Size

Font Type

Exercise 1.E.1\PageIndex{1}: Statements

Thinking out loud

Exercise 1.E.2\PageIndex{2}: Compound Statements

Exercise 1.E.3\PageIndex{3}: Truth Tables

Exercise 1.E.4\PageIndex{4}: Intuitive Reasoning

Exercise 1.E.5\PageIndex{5}: Negation of Statements with Quantifiers

Exercise 1.E.6\PageIndex{6}: Logical Equivalency

Exercise 1.E.7\PageIndex{7}: True or False

Exercise 1.E.8\PageIndex{8}: Tautology

Exercise 1.E.9\PageIndex{9}: Logical Equivalents

Exercise 1.E.10\PageIndex{10}: Reasoning

Support Center

How can we help?

Exercise $\PageIndex{1}$ : Statements

Exercise $\PageIndex{2}$ : Compound Statements

Exercise $\PageIndex{3}$ : Truth Tables

Exercise $\PageIndex{4}$ : Intuitive Reasoning

Exercise $\PageIndex{5}$ : Negation of Statements with Quantifiers

Exercise $\PageIndex{6}$ : Logical Equivalency

Exercise $\PageIndex{7}$ : True or False

Exercise $\PageIndex{8}$ : Tautology

Exercise $\PageIndex{9}$ : Logical Equivalents

Exercise $\PageIndex{10}$ : Reasoning