Skip to main content
Humanities LibreTexts

Section 5: Practice Exercises

  • Page ID
    1047
  • \( \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}\)

    If you want additional practice, you can construct truth tables for any of the sentences and arguments in the exercises for the previous chapter.

    *Part A Determine whether each sentence is a tautology, a contradiction, or a contingent sentence. Justify your answer with a complete or partial truth table where appropriate.

    1. \(A\) → \(A\)
    2. ¬ \(B\) &\(B\)
    3. \(C\) →¬\(C\)
    4. ¬\(D\)∨\(D\)
    5. (\(A\) ↔ \(B\)) ↔¬(\(A\) ↔¬\(B\))
    6. (\(A\)&\(B\))∨(\(B\)&\(A\))
    7. (\(A\) → \(B\))∨(\(B\) → \(A\))
    8. ¬[\(A\) → (\(B\) → \(A\))]
    9. (\(A\)&\(B\)) → (\(B\)∨\(A\))
    10. \(A\) ↔ [\(A\) → (\(B\) &¬\(B\))]
    11. ¬(\(A\)∨\(B\)) ↔ (¬\(A\)&¬\(B\)
    12. ¬(\(A\)&\(B\)) ↔ \(A\)
    13. [(\(A\)&\(B\))&¬(\(A\)&\(B\))]&\(C\)
    14. \(A\) → (\(B\)∨\(C\)
    15. [(\(A\)&\(B\))&\(C\)] → \(B\)
    16. (\(A\)&¬\(A\)) → (\(B\)∨\(C\))
    17. ¬[(\(C\) ∨\(A\))∨\(B\)]
    18. (\(B\) &D) ↔ [\(A\) ↔ (\(A\)∨\(C\))]

    * Part B Determine whether each pair of sentences is logically equivalent. Justify your answer with a complete or partial truth table where appropriate.

    1. \(A\), ¬\(A\)
    2. \(A\), \(A\)∨\(A\)
    3. \(A\) → \(A\), \(A\) ↔ \(A\)
    4. \(A\)∨¬\(B\), \(A\) → \(B\)
    5. \(A\)&¬\(A\), ¬\(B\) ↔ \(B\)
    6. ¬(\(A\)&\(B\)), ¬\(A\)∨¬\(B\)
    7. ¬(\(A\) → \(B\)), ¬\(A\) →¬\(B\)
    8. (\(A\) → \(B\)), (¬\(B\) →¬\(A\))
    9. [(\(A\)∨\(B\))∨\(C\)], [\(A\)∨(\(B\)∨\(C\))]
    10. [(\(A\)∨\(B\))&\(C\)], [\(A\)∨(\(B\) &\(C\))]

    * Part C Determine whether each set of sentences is consistent or inconsistent. Justify your answer with a complete or partial truth table where appropriate.

    1. \(A\) → \(A\), ¬\(A\) →¬\(A\), \(A\)&\(A\), \(A\)∨\(A\)
    2. \(A\)&\(B\), \(C\) →¬\(B\), \(C\)
    3. \(A\)∨\(B\), \(A\) → \(C\), \(B\) → \(C\)
    4. \(A\) → \(B\), \(B\) → \(C\), \(A\), ¬\(C\)
    5. \(B\) &(\(C\) ∨\(A\)), \(A\) → \(B\), ¬(\(B\)∨\(C\))
    6. \(A\)∨\(B\), \(B\)∨\(C\), \(C\) →¬\(A\)
    7. \(A\) ↔ (\(B\)∨\(C\)), \(C\) →¬\(A\), \(A\) →¬\(B\)
    8. \(A\), \(B\), \(C\), ¬\(D\), ¬\(E\), \(F\)

    * Part D Determine whether each argument is valid or invalid. Justify your answer with a complete or partial truth table where appropriate.

    1. \(A\) → \(A\), .˙. \(A\)
    2. \(A\)∨[\(A\) → (\(A\) ↔ \(A\))], .˙. \(A\)
    3. \(A\) → (\(A\)&¬\(A\)), .˙. ¬\(A\)
    4. \(A\) ↔¬(\(B\) ↔ \(A\)), .˙. \(A\)
    5. \(A\)∨(\(B\) → \(A\)), .˙. ¬\(A\) →¬\(B\)
    6. \(A\) → \(B\), \(B\), .˙. \(A\)
    7. \(A\)∨\(B\), \(B\)∨\(C\), ¬\(A\), .˙. \(B\)&\(C\)
    8. \(A\)∨\(B\), \(B\)∨\(C\), ¬\(B\), .˙. \(A\)&\(C\)
    9. (\(B\) &\(A\)) → \(C\), (\(C\) &\(A\)) → \(B\), .˙. (\(C\) &\(B\)) → \(A\)
    10. \(A\) ↔ \(B\), \(B\) ↔ \(C\), .˙. \(A\) ↔ \(C\)

    * Part E Answer each of the questions below and justify your answer.

    1. Suppose that \(\mathcal{A}\) and \(\mathcal{B}\) are logically equivalent. What can you say about \(\mathcal{A}\)↔\(\mathcal{B}\)?
    2. Suppose that (\(\mathcal{A}\)&\(\mathcal{B}\)) → \(\mathcal{C}\) is contingent. What can you say about the argument “\(\mathcal{A}\), \(\mathcal{B}\), .˙.
    3. Suppose that{\(\mathcal{A}\),\(\mathcal{B}\),\(\mathcal{C}\)}is inconsistent. What can you say about (\(\mathcal{A}\)&\(\mathcal{B}\)&\(\mathcal{C}\))?
    4. Suppose that \(\mathcal{A}\) is a contradiction. What can you say about the argument “\(\mathcal{A}\), \(\mathcal{B}\), .˙.\(\mathcal{C}\)”?
    5. Suppose that \(\mathcal{C}\) is a tautology. What can you say about the argument “\(\mathcal{A}\), \(\mathcal{B}\), .˙.\(\mathcal{C}\)”?
    6. Suppose that \(\mathcal{A}\) and \(\mathcal{B}\) are logically equivalent. What can you say about (\(\mathcal{A}\)∨\(\mathcal{B}\))?
    7. Suppose that \(\mathcal{A}\) and \(\mathcal{B}\) are not logically equivalent. What can you say about (\(\mathcal{A}\)∨\(\mathcal{B}\))?

    Part F We could leave the biconditional (↔) out of the language. If we did that, we could still write ‘\(A\) ↔ \(B\)’ so as to make sentences easier to read, but that would be shorthand for (\(A\) → \(B\))&(\(B\) → \(A\)). The resulting language would be formally equivalent to SL, since \(A\) ↔ \(B\) and (\(A\) → \(B\))&(\(B\) → \(A\)) are logically equivalent in SL. If we valued formal simplicity over expressive richness, we could replace more of the connectives with notational conventions and still have a language equivalent to SL.

    There are a number of equivalent languages with only two connectives. It would be enough to have only negation and the material conditional. Show this by writing sentences that are logically equivalent to each of the following using only parentheses, sentence letters, negation (¬), and the material conditional (→).

    *1. \(A\)∨\(B\)
    *2. \(A\)&\(B\)
    *3. \(A\) ↔ \(B\)

    We could have a language that is equivalent to SL with only negation and disjunction as connectives. Show this: Using only parentheses, sentence letters, negation (¬), and disjunction (∨), write sentences that are logically equivalent to each of the following.

    4. \(A\)&\(B\)
    5. \(A\) → \(B\)
    6. \(A\) ↔ \(B\)

    The Sheffer stroke is a logical connective with the following characteristic truthtable:

    \(\mathcal{A}\) \(\mathcal{B}\) \(\mathcal{A}\)|\(\mathcal{B}\)

    1

    1

    0

    0

    1

    0

    1

    0

    0

    1

    1

    1

    7. Write a sentence using the connectives of SL that is logically equivalent to (\(A\)|\(B\)).

    Every sentence written using a connective of SL can be rewritten as a logically equivalent sentence using one or more Sheffer strokes. Using only the Sheffer stroke, write sentences that are equivalent to each of the following.

    8. ¬\(A\)
    9. (\(A\)&\(B\)
    10. (\(A\)∨\(B\))
    11. (\(A\) → \(B\))
    12. (\(A\) ↔ \(B\))


    This page titled Section 5: Practice Exercises is shared under a CC BY-SA license and was authored, remixed, and/or curated by P.D. Magnus (Fecundity) .

    • Was this article helpful?