Module 1 Lessons 3 4 MMW
Module 1 Lessons 3 4 MMW
1
LESSON
THE MATHEMATICAL
3 LANGUAGE AND SYMBOLS
3
HOURS
This lesson dwells on mathematical language and symbols. It presents the comparison
between Math and English language, characteristics and applications of math language in real life
including truth values of statements.
Page 1 of 20
Examine the table below. Which is convenient to write? The ideas in the first column
or in the second column?
Probably, most of you answered, that the ideas in column B are more convenient to write
than those in Column A. This is another importance of Mathematics. The motivation above is an
eye opener that mathematical symbols make our lives easier and convenient.
In this lesson, you will be learning the different mathematical symbols and how are English
phrases or sentences converted into mathematical expressions or sentences.
Page 2 of 20
ENGLISH versus MATHEMATICS
Page 3 of 20
The Language of Mathematics Summary
Page 4 of 20
A method of proof that can be easily generalized to solve a family of
similar problems.
Mathematics is a symbolic language. Some of the mathematical symbols we may
encounter are as follows:
∑ the sum of
∃ there exists
∀ for every (for any)
∈ element of (or member of)
∉ not an element of (or not a member of)
⊆ subset of
⇒ if …, then
⇔ if and only if
ℝ set of real numbers
ℕ set of natural numbers
ℤ set of integers
Q set of rational numbers
∞ Infinity
Applications
Mathematical language can describe a subset of the real world using only the symbols
above.
Problems in physics like freely falling bodies, speed, and acceleration; quantities like
the chemical content of vegetables; the use of mathematical modelling in biological
disease modelling; and the formulas employed in the social sciences can all be
expressed using mathematical sentences or formulas.
According to Baltazar (2018), Mathematics is the language of the following:
1. Sciences
2. Business
3. Economics
4. Music
5. Architecture
6. Arts
7. Politics
Page 5 of 20
The term “1 + 2” is a mathematical expression but not a mathematical sentence. Below
are examples of mathematical expressions:
2 4
b. A matrix [ ]
−2 3
c. A function f(x)
Truth of Sentences
Three most important kinds of sentences in mathematics are universal statements,
conditional statements and existential statements.
A universal statement says that a certain property is true for all elements of a set.
Example: All prime numbers have no more factors except one and itself.
Prime numbers: 1, 2, 3, 5, 7,11, 13, …
An existential statement says that there is at least one thing for which a given property
is true.
Example: There is a prime number that is even.
A conditional statement says that if one thing is true then some other things have to
be true.
Example: If 72 is divisible by 18, then 72 is also divisible by 9.
Example 1: Write as English sentences and say whether these are true or false.
a. ∀𝑥 ∈ ℝ, x2 ≥ 0
b. ∀x, y ∈ ℝ, (x+y)2 = x2 + 2xy + y2
c. ∃m, n ∈ ℤ+, m – n > m + n
d. ∀a,b ∈ Q, ab = 0 ⇒ a ≠ 0 ˅ b ≠ 0
Solution:
a. For any real number x, its square is greater than or equal to 0. (TRUE)
b. For any real numbers x and y, the square of their sum is equal to the sum
of their squares plus twice their product.(TRUE)
c. There exist positive integers m and n such that m minus n is greater than
m plus n. (FALSE)
d. For any rational numbers a and b, if their product is zero then neither a nor
b equals 0. (FALSE)
Example 2: Write as mathematical sentences. Discuss how the word “is” is used.
a. Ten is the square root of 100.
b. Ten is greater than 9.
c. Ten is an even number.
Page 6 of 20
d. Ten is a multiple of 5.
Solution:
a. √100 = 10
b. 10 ˃ 9
c. 10 ∈ {2n, n ∈ N}
d. 10 ∈ {5n, n ∈ N}
If you notice, the word “is” could mean equality, inequality, or membership in a set. In
the first example, “is” is used for equality, the second for inequality, and in the third,
and fourth, it is used to say that the number 10 belongs to the set of multiples of 2 and
the set of multiples of 5.
I. Enumerate math symbols and give the meaning for each symbol.
# = any number
/ = division
() = multiplication
. = multiplication
% = percent
II. Translate each of the following phrases into a mathematical expression. Use as few
variables as possible. (10 points each)
Example: Ten times a number diminished by four
Let n = number
Answer: 10n - 4
PHRASES /SENTENCES MATHEMATICAL EXPRESSIONS/SENTENCES
1. The sum of a number and nine Let a = number, a + 9
2. The product of two numbers Let a & b are numbers,
axb
a.b
a (b)
(a)b
(a)(b)
a*b
ab
3. The product of negative one and a number Let f be the number,
-1f
-f
-1 x f
-1 . f
-1 (f)
Page 7 of 20
4. One-half times the sum of two numbers Let h & i be the numbers,
½ x (h + i)
½(h + i)
5. Twice a number increased by three is one. Let e be the number,
2e + 3 = 1
To make the sentence true, the value
for e must be -1.
Take note:
A number less than two (This is a phrase.)
Let x = number
x-2
A number is less than two. (This is a sentence.)
Let x = number
x<2
III. Choose a quantity to be represented by a variable, then write a mathematical
expression for each. (10 points each)
1. Your sibling’s age 5 years from now.
2. The total interest earned after one year when P100, 000 is invested at 6% annual interest
rate.
3. The distance travelled by a person driving at the rate of 60 kph.
4. The total distance travelled by a boat 1 hour upstream and 30 minutes downstream in
which the rate of current is 3 kph.
5. The fraction of work done by someone who can finish a job in 2 hours.
IV. Write as English sentences and identify whether the statement is True or False.
(10 points each)
1. ∃m, m ∈ 𝑅, m2 = m
2. ∀a, b ∈ Q, a/b = 0 ⇒ a = 0 v b =0
Page 8 of 20
MODULE
1
LESSON
4 MATHEMATICAL LOGIC
3
HOURS
Page 9 of 20
This lesson focuses on the fundamentals, statements, propositions, truth tables, connectives,
and quantifiers that are essential for understanding the concepts of mathematical logic.
https://depositphotos.com/stock-photos/manhole.html
Page 10 of 20
Why do most people argue over some issues and never get to the bottom of it? Sometimes
people in dispute say that “they do not see eye to eye.” This expression means that the people
involved in an argument never get to agree on the issues at hand. In many cases, the disagreement
lies on not being able to present sound arguments based on facts, or the failure to convince the
contending party using logical arguments. To avoid such a scenario in mathematics and to uphold
certainty in the validity of mathematical statements, mathematics employs the powerful language of
logic in asserting truths of statements. Logic helps us to understand better arguments. The use of
logic illustrates the importance of precision and conciseness in communicating
mathematics. This is the essence of Lesson 4.
In today’s complex world, it is not easy to summarize in a few paragraphs the subject matter
known as logic. For lawyers and judges, logic is the science of correct reasoning. They often
use logic to communicate more effectively, construct valid arguments, analyze legal contracts, and
make decisions. Law schools consider knowledge of logic to be one of the most important predictors
of future success for their new students. Many other professions also make extensive use of logic.
For instance, programmers use logic to design computer software; electrical engineers use logic to
design circuits for smart phones; and mathematicians use logic to solve problems and construct
mathematical proofs. In this lesson, you will encounter several facets of logic. Specifically, you will
use logic to
Page 11 of 20
■ determine valid conclusions based on given assumptions, and
One of the first mathematicians to make a serious study of symbolic logic was Gottfried
Wilhelm Leibniz (1646–1716). Leibniz tried to advance the study of logic from a merely
philosophical subject to a formal mathematical subject. Leibniz never completely achieved this goal;
however, several mathematicians, such as Augustus De Morgan (1806–1871) and George Boole
(1815–1864), contributed to the advancement of symbolic logic as a mathematical discipline.
Boole published The Mathematical Analysis of Logic in 1848. In 1854 he published the
more extensive work, An Investigation of the Laws of Thought. Concerning this document, the
mathematician Bertrand Russell stated, “Pure mathematics was discovered by Boole in a work
which is called The Laws of Thought.”
Logic Statements
Every language contains different types of sentences, such as statements,
questions, and commands. For instance,
Propositions
Page 13 of 20
Many times, propositions are made in people’s statements. A proposition is a statement
which either true (T) or false (F). The senior citizens may claim that the best movie they
ever saw is Sound of Music, a movie that was produced in 1965. This statement is a
proposition that is either T or F and cannot be both.
Examples:
Each of the following statements is a proposition. Some are true and some are false.
Can you tell which are true, and which are false? If it is false, state why.
a. 9 is a prime number.
b. 5+3=8
c. x2 + y2 ≥ 0
d. 10 ˂ - 3
Solution:
a. False. Prime numbers have no other factors than 1 and itself. Aside from 1 and
itself, 9 has also 3 as a factor.
b. True.
c. True.
d. False. A negative number is always less than a positive number.
Negation
A statement is a negation of another if the word is not introduced in the negative
statement. Let P be a proposition. The negation of P is “not P” or ~P.
The following is its truth table:
P ~P
T F
F T
Example:
What is the negation of the following statement?
a. P: √2 is a rational number.
b. R: 6 is an odd number.
Solution:
P Q PᴧQ PvQ
F F F F
F T F T
T F F T
T T T T
Implications
Suppose P and Q are propositions. The proposition P ⇒ Q (read as “if P, then Q”) is
called an implication. P is called the premise and Q is called the conclusion. In ordinary
language statements like “If it rains, then I bring my umbrella” is an implication. “If it
rains” is P or the premise while “I bring my umbrella” is the conclusion.
Other ways of reading P ⇒ Q are:
P implies Q
Q if P
Q is implied by P
Q only if P
P Q P⇒Q
F F T
F T T
T F F
T T T
Page 15 of 20
A more complicated form of implication is the bi implication or the bi-conditional denoted
by the symbol ⇔. The statement P ⇔ Q is true if and only if both P and Q are either
both true or both false. The sentence P ⇔ Q is equivalent to the statement
P ⇔ Q ≡ (P ⇒ Q) ᴧ (Q ⇒P).
Construct the truth table for the logical operator ⇔ and check that indeed it is equivalent
to (P ⇒ Q) ᴧ (Q ⇒ P). A bi-conditional is often stated as,
P if and only if Q
or
P is necessary and sufficient for Q.
Example:
Write the following in symbolic form using P, Q, and R for statements and the
symbols ~, ᴧ, v, ⇒, ⇔ where
Solution:
a. P⇒ ~Q
b. ~Q ⇒ R
c. (P ᴧ R) ⇒ ~Q
d. ~P ⇔ (Q ᴧ ~R)
That is,
If P then Q.
Inverse : If not P then not Q.
Converse : If Q then P.
Page 16 of 20
Contrapositive : If not Q then not P.
To determine whether the conditional statement is true or false, we come up with the
following truth table. Referring to the truth table of the implication statement P ⇒ Q
below, we then create the truth table for the inverse, converse, and contrapositive
statements.
P Q P⇒Q
F F T
F T T
T F F
T T T
Example :
Give the inverse, converse, and contrapositive of the following implications:
a. If this movie is interesting, then I am watching it.
b. If p is a prime number, then it is odd.
Solution:
a. Inverse:
If this movie is not interesting, then I am not watching it.
Converse:
Page 17 of 20
If I am watching this movie, then it is interesting.
Contrapositive:
If I am not watching this movie, then it is not interesting.
b. Inverse:
If p is not a prime number, then it is not odd.
Converse:
If p is an odd number, then it is prime.
Contrapositive:
If p is not odd, then it is not a prime number.
Example:
Identify three simple propositions in the statement below and label them P, Q, and R.
Then express symbolically the statement using the logical operators ᴧ, ˅, ⇒, ⇔, or ~.
Solution:
Let P: A function f has an inverse.
Q: f is one-to-one
R: f is onto.
Quantifiers
Quantifiers are used to describe the variable(s) in a statement.
Types:
1. The universal quantifier is usually written in the English language as “for all” or
“for every.” It is denoted by the symbol ∀.
2. The existential quantifier is expressed in words as “there exists” or “for some.”
This quantifier is denoted by ∃.
Compound Quantifiers
When one quantity is involved in a statement, it is common to encounter more than
one quantifier for that statement. Special care must be taken in the order in which
these quantifiers appear. Order does not matter if the same quantifier is used. For
example, the statement ∀x, ∀y, P(x, y) is the same as ∀y, ∀x, P(x, y). Similarly, for the
Page 18 of 20
quantified sentence ∃x, ∃y, P(x, y) is equivalent to (∃y) (∃x) (P(x, y)). For mixed
quantifiers, order is definitely important. The statement ∀x, ∀y, P(x, y) is never always
equivalent to the sentence ∀y, ∀x, P(x, y).
b. ∀x ∈ Z+, ∃y ∈ R, y2 = x
Solution:
a. For every real number x, there exists a real number y such that the sum of x and y
is equal to 10. TRUE
b. For every positive integer x, there exists a real number y such that the square of y
is equal to x. TRUE
Page 19 of 20
________________________________________________________________
B. Present the statements in conditional (if – then) form.
C. Write the following statements in the symbolic form using the symbols (ᴧ, ˅, ⇒, ⇔, or ~ )
(2 points each)
Let P: The sun is shining.
Q: It is raining.
R: The ground is wet.
3. The ground is wet if and only if it is raining and the sun is shining. _____________
5. The ground is not wet if and only if the sun is shining. _____________
6.
Page 20 of 20