Skip to main content
Mathematics LibreTexts

2.5: Exercises

  • Page ID
  • \( \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.

    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.
    2. 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.

    1. Show that \(P \land U \Leftrightarrow P\) for every statement \(P\text{.}\)
    2. 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{.}\)

    1. Use a truth table to verify the equivalence.
    2. 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.”

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


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

    This page titled 2.5: Exercises is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Jeremy Sylvestre via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.