7.9.2: Key Concepts

Last updated
Save as PDF

Page ID: 156261

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

Key Concepts

2.1 Statements and Quantifiers

Logical statements have the form of a complete sentence and make claims that can be identified as true or false.
Logical statements are represented symbolically using a lowercase letter.
The negation of a logical statement has the opposite truth value of the original statement.
Be able to
- Determine whether a sentence represents a logical statement.
- Write and translate logical statements between words and symbols.
- Negate logical statements, including logical statements containing quantifiers of all, some, and none.

2.2 Compound Statements

Logical connectives are used to form compound logical statements by using words such as and, or, and if …, then.
A conjunction is a compound logical statement formed by combining two statements with the words “and” or “but.” If the two independent clauses are represented by $p$ and $q$ , respectively, then the conjunction is written symbolically as $p \land q$ . For the conjunction to be true, both $p$ and $q$ must be true.
A disjunction joins two logical statements with the or connective. In, logic or is inclusive. For an or statement to be true at least one statement must be true, but both may also be true.
A conditional statement has the form if $p$ , then $q$ , where $p$ and $q$ are logical statements. The only time the conditional statement is false is when $p$ is true, and $q$ is false.
The biconditional statement is formed using the connective $if and only if$ for the biconditional statement to be true, the true values of $p$ and $q$ , must match. If $p$ is true then $q$ must be true, if $p$ is false, then $q$ must be false.

Translate compound statements between words and symbolic form.

Connective	Symbol	Name
and but	$\land$	conjunction
or	$\lor$	disjunction, inclusive or
not	~	negation
if $\dots$ , then implies	$\to$	conditional, implication
if and only if	$\leftrightarrow$	biconditional

The dominance of connectives explains the order in which compound logical statements containing multiple connectives should be interpreted.

The dominance of connectives should be applied in the following order

Parentheses
Negations
Disjunctions/Conjunctions, left to right
Conditionals
Biconditionals

A table with four columns shows Dominance, Connective, Symbol, and Evaluate. The dominance column on the table shows a downward vertical arrow from least dominant to most dominant. The connective column on the table shows Parentheses, Negation, Disjunction or Conjunction, Conditional, and Biconditional. The Symbol column on the table shows an open bracket and a closed bracket, equivalent, an upward circumflex and a downward circumflex, a right side arrow, and a double-sided arrow. The Evaluate column on the table shows First, a downward arrow, Left to right or add parentheses to specify order because or slash and have equal dominance. a downward arrow, and last. — Figure 2.18

2.3 Constructing Truth Tables

Determine the true values of logical statements involving negations, conjunctions, and disjunctions.
- The negation of a logical statement has the opposite true value of the original statement.
- A conjunction is true when both $p$ and $q$ are true, otherwise it is false.
- A disjunction is false when both $p$ and $q$ are false, otherwise it is true.

Know how to construct a truth table involving negations, conjunctions, and disjunctions and apply the dominance of connectives to determine the truth value of a compound logical statement containing, negations, conjunctions, and disjunctions.

Negation		Conjunction (AND)			Disjunction (OR)
$p$	$~ p$	$p$	$q$	$p \land q$	$p$	$q$	$p \lor q$
T	F	T	T	T	T	T	T
F	T	T	F	F	T	F	T
		F	T	F	F	T	T
		F	F	F	F	F	F

A logical statement is valid if it is always true. Know how to construct a truth table for a compound statement and use it to determine the validity of compound statements involving negations, conjunctions, and disjunctions.

2.4 Truth Tables for the Conditional and Biconditional

The conditional statement, if

p

then

q

, is like a contract. The only time it is false is when the contract has been broken. That is, when

p

is true, and

q

is false.

Conditional
$p$	$q$	$p \to q$
T	T	T
T	F	F
F	T	T
F	F	T

Search

Text Color

Text Size

Margin Size

Font Type

Key Concepts

2.1 Statements and Quantifiers

2.2 Compound Statements

2.3 Constructing Truth Tables

2.4 Truth Tables for the Conditional and Biconditional