5.1: Logic Statements
- Page ID
- 41381
\( \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}\)- Identify a logical statement
- Construct the negation of a statement, including the use of quantifiers
- Construct a compound statement using conjunctions and disjunctions
Logic is the study of the methods and principles of reasoning. In logic, a statement is a declarative sentence that is either true or false, but not both. The key to constructing a good logical statement is that there must be no ambiguity. To be a statement, a sentence must be true or false. It cannot be both. In logic, the truth of a statement is established beyond ANY doubt by a well-reasoned argument.
So, a sentence such as "The house is beautiful" is not a statement, since whether the sentence is true or not is a matter of opinion.
A question such as "Is it snowing?" is not a statement, because it is a question and is not declaring that something is true.
Some sentences that are mathematical in nature often are not logical statements because we may not know precisely what a variable represents. For example, the equation \( 3x + 5 = 10\) is not a logical statement, since we do not know what \(x \) represents. If we substitute a specific value for \( x\) (such as \(x = 4\)), then the resulting equation, \( 3x + 5 = 10\) is a logical statement (which is a false statement).
A statement is a sentence that is either true or false.
In logic, lower case letters are often used to represent statements such as \(p\), \(q\) or \(r\).
The following are statements:
- Zero times any real number is zero.
- \(1+1 = 2.\)
- All birds can fly. (This is a false statement. How can you establish that?)
The following are not statements:
- Come here.
- Who are you?
- I am lying right now. (This is a paradox. If I'm lying I'm telling the truth and if I'm telling the truth I'm lying.)
Which of the following are statements?
- I like sports cars.
- \( 2+3=6\).
- Where are you?
- Answer
-
Only b is correct since you cannot determine if a is true, and c is a question that is neither true nor false.
The negation of a statement is a statement that has the opposite truth value of the original statement.
Notation: \(\sim p\) (read: "the negation of \(p\)" or "not \(p\)")
The negation of a true statement must be a false statement and vice-versa. A simple statement can often be negated by adding or removing the word "not." A statement can also be negated by adding "It is not true that ... (statement)" or "It is not the case that ... (statement)."
Find the negation of the following statements:
- \(p\): The sky is blue.
- \(q\): Homework is not due today.
Solution
- \(\sim p\): The sky is not blue. Note that \(p\) is true and \(\sim p\) is false.
- \(\sim q\): Homework is due today. Note that \(q\) and \(\sim q\) have opposite truth values. If \(q\) is true, then \(\sim q\) is false, or if \(q\) is false, then \(\sim q\) is true.
Logical statements are related to sets and set operations. Words that describe an entire set, such as “all”, “every”, or “none”, are called universal quantifiers because that set could be considered a universal set. In contrast, words or phrases such as “some”, “one”, or “at least one” are called existential quantifiers because they describe the existence of at least one element in a set.
A universal quantifier states that an entire set of things share a characteristic.
An existential quantifier states that a set contains at least one element.
Something interesting happens when we negate a quantified statement. When we negate a statement with a universal quantifier, we get a statement with an existential quantifier, and vice-versa.
| Statement | Negation |
| All A are B. |
At least one A is not B. Some A are not B. |
| No A are B. |
At least one A is B. Some A are B. |
|
At least one A is B. Some A are B. |
No A are B. |
|
At least one A is not B. Some A are not B. |
All A are B. |
In logic, when you have a statement and a negation, one must be negative, meaning it contains "no" or "not", and the other must be positive. For example, for the statement "All students love math," the negation cannot be "Some students love math" since neither statement is negative, even though they have opposite truth values. The correct negation is "Some students do not love math."
Write the negation of “Somebody brought a flashlight.”
Solution
Since the statement is of the form "Some A are B," the negation will be of the form "No A are B." The negation is “Nobody brought a flashlight.”
Write the negation of “There are no prime numbers that are even.”
Solution
Since the statement is of the form "No A are B," the negation will be of the form "At least one A is B." The negation is “At least one prime number is even.”
Write the negation of “All Icelandic children learn English in school.”
- Answer
-
Some Icelandic children do not learn English in school.
We can make a new statement from other statements; we call these compound statements. Compound statements are formed by connecting 2 or more simple statements with operators such as and and or.
The symbol \(\wedge\) is a conjunction and is used for "and": \( p\) and \(q\) is notated \(p \wedge q\)
The symbol \(\vee\) is a disjunction and is used for "or" (where "or" is not exclusive): \(p\) or \(q\) is notated \(p \vee q\)
You can remember the first two symbols by relating them to the shapes for the union and intersection. \(p \wedge q\) would be the elements that exist in both sets, in \(p \cap q\). Likewise, \(p \vee q\) would be the elements that exist in either set, in \(p \cup q\). When we are working with sets, we use the rounded version of the symbols; when we are working with statements, we use the pointy version.
Translate each statement into symbolic notation. Let \(p\) represent "I like Pepsi" and let \(c\) represent "I like Coke".
- I like Pepsi or I like Coke.
- I like Pepsi and I like Coke.
- I do not like Pepsi.
- It is not the case that I like Pepsi or Coke.
- I like Pepsi but I do not like Coke.
Solution
- \(p \vee c\)
- \(p \wedge c\)
- \(\sim p\)
- \(\sim(p \vee c)\)
- \(p \ \wedge \sim c\)
As you can see, we can use parentheses to organize more complicated statements.
Translate “We have carrots or we will not make soup” into symbols. Let \(c\) represent “we have carrots” and let \(s\) represent “we will make soup”.
- Answer
-
\(c \ \vee \sim s\)