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

1.E: Basic Language of Mathematics (Exercises)


\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

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.

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 "All people are mortal," and \(q\) be the statement "Some 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)\)

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

Construct truth tables for the following statements:

  1. \(\neg p \wedge \neg q\)
  2. \(\neg q \to p\)
  3. \((p \to q) \wedge (q \to p)\)

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

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.\)

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.

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.\)

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 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)\)

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.