2.5: Exercises

Last updated
Save as PDF

Page ID: 83407

\( \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}}\)

Exercise \(\PageIndex{1}\)

Consider again the two collections of related conditional statements in Example 2.3.1.

For each of these collections, determine which two of the four related statements are true and which two are false. For the two false statements in each collection, demonstrate it by providing examples where the statements are false.
Give an example of a conditional statement involving mathematical objects for which all four of conditional, contrapositive, converse, and inverse are all true.

Exercise \(\PageIndex{2}\)

Suppose \(U\) is a tautology and \(E\) is a contradiction.

Show that \(P \land U \Leftrightarrow P\) for every statement \(P\text{.}\)
Show that \(P \lor E \Leftrightarrow P\) for every statement \(P\text{.}\)

Exercise \(\PageIndex{3}\)

Consider the equivalence of statements \(p \rightarrow (q_1 \lor q_2) \Leftrightarrow (p \land \neg q_1) \rightarrow q_2\text{.}\)

Use a truth table to verify the equivalence.
Use propositional calculus to demonstrate the equivalence.

Exercise \(\PageIndex{4}\)

Use truth tables to establish the double negation, idempotence, commutativity, associativity, distributivity, and DeMorgan's Law equivalences presented in Proposition 2.2.1.

Exercise \(\PageIndex{5}\)

This exercise asks you to demonstrate that the basic connective “if and only if” can be constructed out of the basic connectives “not”, “and”, and “or.”

Use a truth table to prove Rule 10.b from Proposition 2.2.1.
Starting with Rule 10.b from Proposition 2.2.1, use propositional calculus to prove the equivalence

\begin{equation*} p \leftrightarrow q \Leftrightarrow (\neg p \lor q) \land (p \lor \neg q) \text{.} \end{equation*}

Exercise \(\PageIndex{6}\)

Use Exercise 5 to demonstrate that exclusive or

\begin{equation*} (p \lor q) \land \neg (p \land q) \end{equation*}

is equivalent to

\begin{equation*} p \leftrightarrow \neg q\text{.} \end{equation*}

See: Statement 2 of Remark 1.1.1 for the difference between inclusive or and exclusive or.