Skip to main content
\(\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}}\)
Mathematics LibreTexts

18.17: Logic

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

    Boolean Logic

    1. \(\{5,15,25, \ldots\}\)

    Quantified Statements

    3. At least one person did not fail the quiz today.

    Truth Tables

    5.

    1. Elvis is alive or did not gain weight.
    2. It is not the case that Elvis is alive and gained weight.
    3. If Elvis gained weight, then he is not alive.
    4. Elvis is alive if and only if he did not gain weight.

    7.

    \(\begin{array}{|c|c|c|c|c|}
    \hline A & B & \sim A & \sim A \vee B & \sim(\sim A \vee B) \\
    \hline \mathrm{T} & \mathrm{T} & \mathrm{F} & \mathrm{T} & \mathrm{F} \\
    \hline \mathrm{T} & \mathrm{F} & \mathrm{F} & \mathrm{F} & \mathrm{T} \\
    \hline \mathrm{F} & \mathrm{T} & \mathrm{T} & \mathrm{T} & \mathrm{F} \\
    \hline \mathrm{F} & \mathrm{F} & \mathrm{T} & \mathrm{T} & \mathrm{F} \\
    \hline
    \end{array}\)

    9.

    \(\begin{array}{|c|c|c|c|c|c|}
    \hline A & B & C & A \vee B & \sim C & (A \vee B) \rightarrow \sim C \\
    \hline \mathrm{T} & \mathrm{T} & \mathrm{T} & \mathrm{T} & \mathrm{F} & \mathrm{F} \\
    \hline \mathrm{T} & \mathrm{T} & \mathrm{F} & \mathrm{T} & \mathrm{T} & \mathrm{T} \\
    \hline \mathrm{T} & \mathrm{F} & \mathrm{T} & \mathrm{T} & \mathrm{F} & \mathrm{F} \\
    \hline \mathrm{T} & \mathrm{F} & \mathrm{F} & \mathrm{T} & \mathrm{T} & \mathrm{T} \\
    \hline \mathrm{F} & \mathrm{T} & \mathrm{T} & \mathrm{T} & \mathrm{F} & \mathrm{F} \\
    \hline \mathrm{F} & \mathrm{T} & \mathrm{F} & \mathrm{T} & \mathrm{T} & \mathrm{T} \\
    \hline \mathrm{F} & \mathrm{F} & \mathrm{T} & \mathrm{F} & \mathrm{F} & \mathrm{T} \\
    \hline \mathrm{F} & \mathrm{F} & \mathrm{F} & \mathrm{F} & \mathrm{T} & \mathrm{T} \\
    \hline
    \end{array}\)

    11.

    \(\begin{array}{|c|c|c|}
    \hline A & B & A \vee B \\
    \hline \mathrm{T} & \mathrm{T} & \mathrm{F} \\
    \hline \mathrm{T} & \mathrm{F} & \mathrm{T} \\
    \hline \mathrm{F} & \mathrm{T} & \mathrm{T} \\
    \hline \mathrm{F} & \mathrm{F} & \mathrm{F} \\
    \hline
    \end{array}\)

    13. The results are identical; the exclusive or translates to " \(\left(A \text { or } B \text { ) and not }(A \text { and } B)^{\prime \prime}\right.\).

    Conditional Statements

    15.

    1. Not necessarily true; this is the inverse. You could get your mouth washed out for some other reason.
    2. True; this is the contrapositive.
    3. Not necessarily true; this is the converse. You could get your mouth washed out for some other reason.

    17. Luke faces Vader and Obi-Wan interferes.

    19.

    1. This couldn’t happen; you fulfilled your part of the bargain but your coach didn’t.
    2. This couldn’t happen; you didn’t fulfill your part of the bargain but your coach let you play anyway. This could happen with a conditional statement, but not a biconditional.
    3. This could happen; practice = play, no practice = no play.

    De Morgan’s Laws

    21. You don’t need a dated receipt or you don’t need your credit card to return this item.

    Deductive Arguments

    23. Valid, by the law of contraposition.

    25. Valid, by disjunctive syllogism.

    27. Invalid; we are using the inclusive or, so the sets of people with a pencil and people with a pen could possibly overlap. Marcie might be in the intersection of the two sets.

    Logical Fallacies

    29. False dilemma; you could fly, take a bus, hitchhike…

    31. Correlation implies causation; maybe the only time our smoke detector goes off is when I burn dinner, and the kids choose to eat cereal whenever I burn dinner.


    18.17: Logic is shared under a CC BY-SA 3.0 license and was authored, remixed, and/or curated by David Lippman via source content that was edited to conform to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.

    • Was this article helpful?