Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

1.E: Basic Language of Mathematics (Exercises)

( \newcommand{\kernel}{\mathrm{null}\,}\)

Exercise 1.E.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 1.E.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. ¬p
  2. ¬q
  3. pq
  4. ¬(pq)
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 1.E.3: Truth Tables

Construct truth tables for the following statements:

  1. ¬p¬q
Answer
Table 1.E.3: Truth Table
p q ¬p ¬p¬q ¬q
T T F F F
T F F F T
F T T F F
F F T T T

2. ¬qp

Answer
Table 1.E.3: Truth Table
p q ¬q ¬qp
T T F T
T F T T
F T F T
F F T F

3. (pq)(qp)

Answer
Table 1.E.3: Truth Table
p q pq (pq)(qp) qp
T T T T T
T F F F T
F T T F F
F F T T T
 
 
Exercise 1.E.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 1.E.5: Negation of Statements with Quantifiers

Find the negation of xys.t.xy=2.

Answer

yxs.t.xy2.

Exercise 1.E.6: Logical Equivalency

Prove or disprove the following statement: The expressions (pq)r and (pr)(qr) are logically equivalent.

Answer

The expressions (pq)r and (pr)(qr) are logically equivalent.

Exercise 1.E.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)10.
  3. If (4)(5)=10 then 104=5.
  4. If 8<5 then 8=5.
Answer

F, T, T, T.

Exercise 1.E.8: Tautology

Prove or disprove: for any mathematical statements p,q and r, (p((¬q)(¬r)))(¬(qr)p) is a tautology.

Exercise 1.E.9: Logical Equivalents

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

  1. pqqp, and pqqp.
  2. ¬((pq)¬p¬q and ¬((pq)¬p¬q
  3. pq¬q¬p
  4. pq¬pq
  5. ¬(¬p)p
  6. pq((pq)(qp)
Answer

1.

Table 1.E.9: Truth Table
p q pq qp
T T T T
T F T T
F T T T
F F F F
Exercise 1.E.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 4.0 license and was authored, remixed, and/or curated by Pamini Thangarajah.

Support Center

How can we help?