1.3: Logical Analysis
- Page ID
- 83399
\( \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}\)We will now leave the English language behind and concentrate on logical statements consisting only of variables and connectives. Keep in mind that variables are not limited to representing simple statements; they can represent compound statements as well.
the property of being true or false
Given a logical statement, view the variables as inputs and the truth value of the entire statement as an output. We would like a systematic way to determine how the truth value of the output changes as we vary the truth values of the inputs.
the process of determining the truth value of a statement based on the truth values of its variable substatements
tabular method of carrying out logical analysis
If a statement involves a finite number of variables, then since each variable can have one of only two possible truth values, there are a finite number of different combinations of input truth values for the statement. So we can test each combination one after the other to determine all possible outputs. Arrange this analysis in a table with all possibilities for the input variables on the left and the resulting outputs on the right.
In fact, if there are \(n\) variables, then there are exactly \(2^n\) different combinations of truth values for the variables.
First, let's establish the truth tables of the basic connectives (that is, of statements containing exactly one connective).
- Conjunction \(p \land q\) is true only when both \(p\) and \(q\) are true.
- Disjunction \(p \lor q\) is true when at least one of \(p\) and \(q\) is true.
- The first two rows of the truth table for \(p \rightarrow q\) are consistent with the reading “if \(p\) is true then \(q\) is also true.” Really, this reading of the conditional says nothing in the case that \(p\) is actually false, but we cannot leave the “output” column of the truth table blank for the corresponding rows where \(p = F\text{.}\) Instead, the outputs in the last two rows of the truth table for \(p \rightarrow q\) are “default” values chosen to avoid inconsistencies. (See Exercise 1.6.3.)
- Looking at all four rows of the truth table for \(p \rightarrow q\text{,}\) we can succinctly say that \(p \rightarrow q\) is true except when \(p\) is true but \(q\) is false.
- Biconditional \(p \leftrightarrow q\) reads “\(p\) is true when \(q\) is true, and only when \(q\) is true.” But this means that when \(q\) is false, \(p\) cannot be true, hence must by false, which explains the fourth row of the truth table.
- Looking at all four rows of the truth table for \(p \leftrightarrow q\text{,}\) we can succinctly say that \(p \leftrightarrow q\) is true when \(p\) and \(q\) have the same truth value.
- See
-
Statement 2 of Remark 1.1.1 for the difference between inclusive or and exclusive or.
We can now use the truth tables of the basic connectives to analyze more complicated statements. Liberal use of extra “intermediate” columns to analyze substatements separately is highly recommended.
Analyze \(\neg (p \leftrightarrow q)\text{.}\)
Solution
\(p\) | \(q\) | \(p \leftrightarrow q\) | \(\neg (p \leftrightarrow q)\) |
\(T\) | \(T\) | \(T\) | \(F\) |
\(T\) | \(F\) | \(F\) | \(T\) |
\(F\) | \(T\) | \(F\) | \(T\) |
\(F\) | \(F\) | \(T\) | \(F\) |
The logical statement \(\neg (p \leftrightarrow q)\) analyzed in Worked Example \(\PageIndex{1}\) is one way to realize exclusive or: \(p\) or \(q\) but not both.
Analyze \((p \land q) \rightarrow (p \leftrightarrow r)\text{.}\)
Solution
\(p\) | \(q\) | \(r\) | \(p \land q\) | \(p \leftrightarrow r\) | \((p \land q) \rightarrow (p \leftrightarrow r)\) |
\(T\) | \(T\) | \(T\) | \(T\) | \(T\) | \(T\) |
\(T\) | \(T\) | \(F\) | \(T\) | \(F\) | \(F\) |
\(T\) | \(F\) | \(T\) | \(F\) | \(T\) | \(T\) |
\(T\) | \(F\) | \(F\) | \(F\) | \(F\) | \(T\) |
\(F\) | \(T\) | \(T\) | \(F\) | \(F\) | \(T\) |
\(F\) | \(T\) | \(F\) | \(F\) | \(T\) | \(T\) |
\(F\) | \(F\) | \(T\) | \(F\) | \(F\) | \(T\) |
\(F\) | \(F\) | \(F\) | \(F\) | \(T\) | \(T\) |
Analyze \(((p\rightarrow q) \rightarrow r \leftrightarrow (p \rightarrow (q \rightarrow r)\text{.}\)
Solution
\(p\) | \(q\) | \(r\) | \(p \rightarrow q\) | \(q \rightarrow r\) | \(A\) | \(B\) | \(A \leftrightarrow B\) |
\(T\) | \(T\) | \(T\) | \(T\) | \(T\) | \(T\) | \(T\) | \(T\) |
\(T\) | \(T\) | \(F\) | \(T\) | \(F\) | \(F\) | \(F\) | \(T\) |
\(T\) | \(F\) | \(T\) | \(F\) | \(T\) | \(T\) | \(T\) | \(T\) |
\(T\) | \(F\) | \(F\) | \(F\) | \(T\) | \(T\) | \(T\) | \(T\) |
\(F\) | \(T\) | \(T\) | \(T\) | \(T\) | \(T\) | \(T\) | \(T\) |
\(F\) | \(T\) | \(F\) | \(T\) | \(F\) | \(F\) | \(T\) | \(F\) |
\(F\) | \(F\) | \(T\) | \(T\) | \(T\) | \(T\) | \(T\) | \(T\) |
\(F\) | \(F\) | \(F\) | \(T\) | \(T\) | \(F\) | \(T\) | \(F\) |