Skip to main content
Mathematics LibreTexts

1.E: Basic Language of Mathematics (Exercises)

  • Page ID
    4862
  • \( \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}\): Statements

    Which of the following are statements?

    1. I am here.
    2. Why am I here?
    3. Life is beautiful.
    4. My car is red and my house is yellow.
    5. An integer is even if and only if it is divisible by 2 with no remainder.
    Answer

    1,5.

    Thinking out loud

    Is "mine" objectively true in every case? In terms of phrasing, are "my car" and "your car" different?

    What about mathematically? If any given person says "my car," are they referencing the same vehicle?

    Exercise \(\PageIndex{2}\): Compound Statements

    Let \(p\) be the statement "some people are mortal," and \(q\) be the statement "All people can reason." State, in clear English, the following cases:

    1. \(\neg p\)
    2. \(\neg q\)
    3. \(p \wedge q\)
    4. \(\neg (p \wedge q)\)
    Answer

    All people are not mortal, Some people can't reason, Some people are mortal and all people can reason, All people are not mortal or some people can't reason.

    Exercise \(\PageIndex{3}\): Truth Tables

    Construct truth tables for the following statements:

    1. \(\neg p \wedge \neg q\)
    Answer
    \(p\) \(q\) \( \neg p\) \(\neg p \wedge \neg q\) \(\neg q\)
    T T F F F
    T F F F T
    F T T F F
    F F T T T

    2. \(\neg q \to p\)

    Answer
    \(p\) \(q\) \(\neg q\) \(\neg q \to p\)
    T T F T
    T F T T
    F T F T
    F F T F

    3. \((p \to q) \wedge (q \to p)\)

    Answer
    \(p\) \(q\) \( p \to q\) \((p \to q) \wedge (q \to p)\) \(q \to p\)
    T T T T T
    T F F F T
    F T T F F
    F F T T T
     
     
    Exercise \(\PageIndex{4}\): Intuitive Reasoning

    Suppose you throw four darts at a dartboard. The board has four concentric sections:

    • A bull's eye, worth 10 points
    • The section nearest the middle, worth 8 points
    • The middle section, worth 6 points
    • The outer section, worth 4 points
    clipboard_e4928a01b8045cf2f8f0aefca3004d028.png
     

    Supposing that all four darts thrown hit the board, what kinds of scores are possible? What kinds of scores are impossible?

    Exercise \(\PageIndex{5}\): Negation of Statements with Quantifiers

    Find the negation of \( \forall x \, \exists y \, s.t. \, x-y=2.\)

    Answer

    \( \forall y \, \exists x \, s.t. \, x-y \ne 2.\)

    Exercise \(\PageIndex{6}\): Logical Equivalency

    Prove or disprove the following statement: The expressions \((p \vee q )\to r\) and \( (p \to r)\wedge( q \to r)\) are logically equivalent.

    Answer

    The expressions \((p \vee q )\to r\) and \( (p \to r)\wedge( q \to r)\) are logically equivalent.

    Exercise \(\PageIndex{7}\): True or False

    Assess whether each of the following statement is true or false and justify your answer.

    1. \(7\) is an integer and \(-7>3.\)
    2. \((-5)(-2) \geq -10.\)
    3. If \((4)(5)=10\) then \(\frac{10}{4}=5.\)
    4. If \(8<5\) then \( 8=5.\)
    Answer

    F, T, T, T.

    Exercise \(\PageIndex{8}\): Tautology

    Prove or disprove: for any mathematical statements \(p,q\) and \(r\), \((p \leftrightarrow ((\neg q) \wedge(\neg r))) \to (\neg(q \wedge r) \to p)\) is a tautology.

    Exercise \(\PageIndex{9}\): Logical Equivalents

    Let \(p\) and \(q\) be mathematical statements. Then show that the following statements are true:

    1. \(p \vee q \equiv q \vee p\), and \(p \wedge q \equiv q\wedge p\).
    2. \(\neg((p \vee q)\equiv \neg p \wedge \neg q \) and \(\neg((p \wedge q) \equiv \neg p \vee \neg q \)
    3. \(p \rightarrow q \equiv \neg q \rightarrow \neg p\)
    4. \(p \rightarrow q \equiv \neg p \vee q\)
    5. \(\neg (\neg p) \equiv p\)
    6. \(p \leftrightarrow q \equiv ((p \rightarrow q) \wedge ( q \rightarrow p)\)
    Answer

    1.

    \(p\) \(q\) \(p \vee q\) \(q \vee p\)
    T T T T
    T F T T
    F T T T
    F F F F
    Exercise \(\PageIndex{10}\): Reasoning

    Determine whether the following arguments are valid or invalid:

    1. All polygons have angles.

    A circle has no angle.

    A circle is not a polygon.

    1. If you don’t work hard then you won’t succeed.

    You work hard.

    Therefore, you will succeed.

    1. If you make an A on the midterm, you won’t have to take the final.

    Jose did not take the final.

    Therefore, Jose made an A on the midterm.

    1. If a number is divisible by 8 then it is divisible by 4.

    X is not divisible by 8.

    Therefore x is not divisible by 4.

    1. If I am rich, I would buy a cabin.

    I am not rich.

    Therefore I have not bought a cabin.

    6. If p is a prime number larger than 2 then p is odd.

    p is odd.

    Therefore p is a prime number.


    This page titled 1.E: Basic Language of Mathematics (Exercises) is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by Pamini Thangarajah.

    • Was this article helpful?