Skip to main content
Humanities LibreTexts

Section 5: Practice Exercises

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

    * Part A Using the symbolization key given, translate each English-language sentence into SL.

    M: Those creatures are men in suits.
    C: Those creatures are chimpanzees.
    G: Those creatures are gorillas.

    1. Those creatures are not men in suits.
    2. Those creatures are men in suits, or they are not.
    3. Those creatures are either gorillas or chimpanzees.
    4. Those creatures are neither gorillas nor chimpanzees.
    5. If those creatures are chimpanzees, then they are neither gorillas nor men in suits.
    6. Unless those creatures are men in suits, they are either chimpanzees or they are gorillas.

    *Part B Using the symbolization key given, translate each English-language sentence into SL.

    A: Mister Ace was murdered.
    B: The butler did it.
    C: The cook did it.
    D: The Duchess is lying.
    E: Mister Edge was murdered.
    F: The murder weapon was a frying pan.

    1. Either Mister Ace or Mister Edge was murdered.
    2. If Mister Ace was murdered, then the cook did it.
    3. If Mister Edge was murdered, then the cook did not do it.
    4. Either the butler did it, or the Duchess is lying.
    5. The cook did it only if the Duchess is lying.
    6. If the murder weapon was a frying pan, then the culprit must have been the cook.
    7. If the murder weapon was not a frying pan, then the culprit was either the cook or the butler.
    8. Mister Ace was murdered if and only if Mister Edge was not murdered.
    9. The Duchess is lying, unless it was Mister Edge who was murdered.
    10. If Mister Ace was murdered, he was done in with a frying pan.
    11. Since the cook did it, the butler did not.
    12. Of course the Duchess is lying!

    * Part C Using the symbolization key given, translate each English-language sentence into SL.

    E1: Ava is an electrician.
    E2: Harrison is an electrician.
    F1: Ava is a firefighter.
    F2: Harrison is a firefighter.
    S1: Ava is satisfied with her career.
    S2: Harrison is satisfied with his career.

    1. Ava and Harrison are both electricians.
    2. If Ava is a firefighter, then she is satisfied with her career.
    3. Ava is a firefighter, unless she is an electrician.
    4. Harrison is an unsatisfied electrician.
    5. Neither Ava nor Harrison is an electrician.
    6. Both Ava and Harrison are electricians, but neither of them find it satisfying.
    7. Harrison is satisfied only if he is a firefighter.
    8. If Ava is not an electrician, then neither is Harrison, but if she is, then he is too.
    9. Ava is satisfied with her career if and only if Harrison is not satisfied with his.
    10. If Harrison is both an electrician and a firefighter, then he must be satisfied with his work.
    11. It cannot be that Harrison is both an electrician and a firefighter.
    12. Harrison and Ava are both firefighters if and only if neither of them is an electrician.

    * Part D Give a symbolization key and symbolize the following sentences in SL.

    1. Alice and Bob are both spies.
    2. If either Alice or Bob is a spy, then the code has been broken.
    3. If neither Alice nor Bob is a spy, then the code remains unbroken.
    4. The German embassy will be in an uproar, unless someone has broken the code.
    5. Either the code has been broken or it has not, but the German embassy will be in an uproar regardless.
    6. Either Alice or Bob is a spy, but not both.

    *Part E Give a symbolization key and symbolize the following sentences in SL.

    1. If Gregor plays first base, then the team will lose.
    2. The team will lose unless there is a miracle.
    3. The team will either lose or it won’t, but Gregor will play first base regardless.
    4. Gregor’s mom will bake cookies if and only if Gregor plays first base.
    5. If there is a miracle, then Gregor’s mom will not bake cookies.

    *Part F For each argument, write a symbolization key and translate the argument as well as possible into SL.

    1. If Dorothy plays the piano in the morning, then Roger wakes up cranky. Dorothy plays piano in the morning unless she is distracted. So if Roger does not wake up cranky, then Dorothy must be distracted.
    2. It will either rain or snow on Tuesday. If it rains, Neville will be sad. If it snows, Neville will be cold. Therefore, Neville will either be sad or cold on Tuesday.
    3. If Zoog remembered to do his chores, then things are clean but not neat. If he forgot, then things are neat but not clean. Therefore, things are either neat or clean— but not both.

    *Part G For each of the following: (a) Is it a wff of SL? (b) Is it a sentence of SL, allowing for notational conventions?

    1. (\(A\))
    2. \(J\)374 ∨¬\(J\)374
    3. ¬¬¬¬\(F\)
    4. ¬&\(S\)
    5. (\(G\)&¬\(G\))
    6. \(A\)→\(A\)
    7. (\(A\)→(\(A\)&¬\(F\)))∨(\(D\) ↔ \(E\))
    8. [(\(Z\)↔\(S\)) → \(W\)]&[\(J\)∨\(X\)]
    9. (\(F\)↔¬\(D\)→ \(J\))∨\((C\)&\(D\))

    Part H

    1. Are there any wffs of SL that contain no sentence letters? Why or why not?
    2. In the chapter, we symbolized an exclusive or using ∨, &, and ¬. How could you translate an exclusive or using only two connectives? Is there any way to translate an exclusive or using only one connective?


    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?