1.2: More on Logical Statements
- Page ID
- 4874
\( \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}\)Properties
The following are some of the most frequently used logical equivalencies when writing mathematical proofs.
Theorem \(\PageIndex{1}\)
Let \(p\) and \(q\) be statements. Then the following statements are true:
- \(p \vee p \equiv p\), and \(p \wedge p \equiv p. \)
- \(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(q \vee p) \equiv \neg q \wedge \neg p \).
- \(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)\).
Predicate Logic
If we add the words “every”, “there is”, “all” and “some” to the list of logic terms we would get what is known as the predicate logical system.
The two quantifiers are:
- For all (every) \(x\), \(P(x)\), is denoted by \(\forall x P(x) .\)
- There exists (at least one) \(x\) such that \(P(x)\), is denoted by \( \exists x P(x).\)
Example \(\PageIndex{1}\):
- Every student in this class has studied high school mathematics. By using notation, we can write, \( \forall x \,P(x) \), where \(P(x)\):= \(x\) has studied high school mathematics.
- For every integer \(x\), there exist an integer \(y\) such that \(x+y=x\). By using notation, we can write, \( \forall \, integer\, x, \exists \, integer\, y\) such that \(x+y=x\).
Example \(\PageIndex{2}\):
Consider the form “X dislikes Y”.
If both variables are universally quantified, it translates as “For all X, for all Y, X dislikes Y.” In English, "Everyone dislikes everyone."
If the first variable is universally quantified and the second is existentially quantified it translates as, “For all X, there is a Y (such that) X dislikes Y”. In English, “Everyone dislikes someone".
Example \(\PageIndex{3}\):
For every X, there is a Y such that Y is X’s mother.
For every Y, there is an X such that Y is X’s mother.
The first statement says “Everyone has a mother”, while the second says “Everyone is a mother".
Negating statement with Quantifiers:
- Let p be the statement \(\forall x P(x) .\) Then \(\neg\, p\) is \( \exists x, \neg\,P(x).\)
- Let q be the statement \(\exists x P(x) .\) Then \(\neg\, q\) is \( \forall x, \neg \, P(x).\)
Example \(\PageIndex{4}\):
- Every student in this class has studied high school mathematics. By using notation, we can write, \( \forall x \,P(x) \), where \(P(x)\):= \(x\) has studied high school mathematics.
Negation: There is a student in this class has not studied high school mathematics.
- For every integer \(x\), there exist an integer \(y\) such that \(x+y=x\). By using notation, we can write, \( \forall \, integer \,x, \exists \, integer\, y\) such that \(x+y=x\).
Negation: For every integer \(y\), there exist an integer \(x\) such that \(x+y\ne x\).
Compound statements with quantifiers
Example \(\PageIndex{5}\):
Let \(Q\) be the statement: For all real numbers \(a\) and \(b,\) if \(a+b\) is irrational or \(a-b\) is irrational then \(a\) is irrational and \(b\) is irrational.
- Write the contrapositive of Q.
- Answer
-
For all real numbers \(a\) and \(b,\) if \(a\) is rational or \(b\) is rational then \(a+b\) is rational and \(a-b\) is rational.
- Write the converse of Q.
- Answer
-
For all real numbers \(a\) and \(b,\) if \(a\) is irrational and \(b\) is irrational then \(a+b\) is irrational or \(a-b\) is irrational.
- Write the negation of Q.
- Answer
-
There exist real numbers \(a\) and \(b,\) such that \(a+b\) is irrational or \(a-b\) is irrational, but \(a\) is rational or \(b\) irrational.
Terminology: Theorem, Q.E.D, and Conjecture
Theorems and Conjectures
- A theorem is a mathematical statement that has been proved using, and built upon, other statements, theorems, and standard axioms.
- A conjecture is a mathematical statement that is thought to be true but has not yet been proven formally in the field.
Thinking out loud
Can you think of a theorem and a conjecture?