1.1: Statements
- Page ID
- 83397
\( \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}\)a sentence that is either true or false
- All prime numbers are odd.
- Some trees have leaves and some trees have needles.
- If you pay attention in class and work through all the homework problems, then you will do well in this course.
part of a logical statement that could be considered a statement on its own
“Some trees have leaves” is a substatement of statement 2 in Example \(\PageIndex{1}\)
does not contain any proper substatements
contains two or more substatements
a connecting word between substatements in a compound statement
Reconsidering the statements in Example \(\PageIndex{1}\):
- statement 1 is simple;
- statement 2 is a compound statement made up of two (simple) substatements linked by the connective “and”; and
- statement 3 is a compound statement made up of two substatements linked by the connective “if … then …”, where the substatement that constitutes the “if” part is itself a compound statement.
The substatements in a compound statement can be related to each other by connectives in various ways.
| negation | “not” |
| conjuction | “and” |
| disjunction | “or” |
| conditional | “if … then …” |
| biconditional | “if and only if” |
Given statements \(A\) and \(B\), we use these connectives to construct new statements:
| negation of \(A\) | not \(A\) |
| conjuction of \(A\) and \(B\) | \(A\) and \(B\) |
| disjunction of \(A\) and \(B\) | \(A\) or \(B\) |
| conditional where \(A\) implies \(B\) | if \(A\) then \(B\) |
| biconditional involving \(A\) and \(B\) | \(A\) if and only if \(B\) |
Remark \(\PageIndex{1}\)
- All statements we will consider can be constructed starting from a finite number of simple statements and modifying/joining them using connectives as above.
- Always take “\(A\) or \(B\)” to mean “\(A\) or \(B\) or both” (known as inclusive or). However, in everyday language it may be reasonable to take “either \(A\) or \(B\)” to mean “(\(A\) or \(B\)) and not (\(A\) and \(B\))” (known as exclusive or).
- The conditional and biconditional connectives are actually superfluous — they can be constructed from the first three. (See Worked Example 2.1.1 and Exercise 2.5.5.) But they occur frequently, and such constructions from other connectives obscure their meaning, so it is more convenient to include these two connectives in our list of of basic connectives.
A conversation.
| Alice | It is raining. |
| Bob | No, it isn't. |
| Alice | Either it's raining or it isn't. |
| Bob | How can we decide? |
| Alice | If we go outside and we get wet, then it's raining. |
| Bob | We'd get wet outside if the sprinklers are on, too. |
| Alice | Don't be silly! |
| Alice(continuing...) | We'll get wet if it's raining, and this is the only way we'll get wet. |
Let us rewrite the above conversation to clearly identify the substatements and connectives.
| Alice | it is raining |
| Bob | not (it is raining) |
| Alice | (it is raining) or (not (it is raining)) |
| Bob | [not a statement!] |
| Alice | if ((we are outside) and (we get wet)) then (it is raining) |
| Bob | if ((we are outside) and (the sprinklers are on)) then (we get wet) |
| Alice | [not a statement!] |
| Bob | if (we are outside) then ((we get wet) if and only if (it is raining)) |
Test \(\PageIndex{1}\): Checking Whether a Sentence is a Logical Statement
If \(S\) is an English language sentence and the phrase “It is true that \(S\)” makes sense as an English language sentence, then \(S\) is a logical statement.
Strictly speaking, many mathematical statements are not logical statements, for a different reason then the one used in the test above.
The phrase “\(f\) is a differentiable function” is not a logical statement, since whether it is true or false depends on the free variable \(f\text{.}\) For example, if we substitute the function \(f(x) = x\) into this statement, the statement becomes true. However, if we substitute the function \(f(x) = \vert x \vert \text{,}\) the statement becomes false. We will deal with this issue in Chapter 4.