Module 2 Discussion (Draft)
Module 2 Discussion (Draft)
Module 2 1 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Outline
1 Language of Mathematics
3 Elementary Logic
Module 2 2 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Objectives:
At the end of the lesson, the students must be able to:
• discuss the language, symbols, and conventions of
mathematics;
• explain the nature of mathematics as a language;
• acknowledge that mathematics is a useful language; and
• perform operations on mathematical expressions correctly.
Module 2 3 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 4 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 5 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
In Mathematics:
The analogue of “noun” in math is “expression.” So, a
mathematical expression is a name given to a mathematical
object under consideration. The mathematical analogue of
English sentence is also called a sentence.
Module 2 6 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 7 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
EXERCISES.
I. Circle the verbs in the following sentences:
a) The capital of the Philippines is the City of Manila.
b) 3 + 4 = 7
c) 3 + 4 = 8
Module 2 8 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 9 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 10 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 11 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 12 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 13 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 14 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Symbols/Notations Meaning
P
sum of
∃ there exists
∀ for all, for every
∈ element of
⊂ subset, is contained in
∪ union
Module 2 15 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 16 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 16 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 16 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example:
Module 2 16 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example:
• Is there a number x with the following property: doubling it
and adding 3 gives the same result as squaring it?
Module 2 16 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example:
• Is there a number x with the following property: doubling it
and adding 3 gives the same result as squaring it?
• Rewriting and introducing a variable: Is there a number x
with the property that 2x + 3 = x 2 ?
Module 2 16 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 17 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example:
Module 2 17 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example:
• No matter what number might be chosen, if it is greater
than 2, then its square is greater than 4.
Module 2 17 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example:
• No matter what number might be chosen, if it is greater
than 2, then its square is greater than 4.
• Rewriting and introducing a variable: No matter what
number n might be chosen, if n > 2, then n2 > 4.
Module 2 17 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Variable
Example:
1. Are there numbers with the property that the sum of their
squares equals the square of their sum?
Module 2 18 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Variable
Example:
1. Are there numbers with the property that the sum of their
squares equals the square of their sum?
Module 2 18 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Variable
Example:
Are there numbers with the property that the sum of their
squares equals the square of their sum?
Answer: Are there numbers a and b with the property that
a2 + b2 = (a + b)2 ?
Module 2 19 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Three of the most important kinds of sentences in mathematics
are universal statements, conditional statements, and
existential statements.
Module 2 20 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Three of the most important kinds of sentences in mathematics
are universal statements, conditional statements, and
existential statements.
A universal statement says that a certian property is true
for all elements in a set.
Module 2 20 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Three of the most important kinds of sentences in mathematics
are universal statements, conditional statements, and
existential statements.
A universal statement says that a certian property is true
for all elements in a set.
Example: All positive numbers are greater than zero.
Module 2 20 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Three of the most important kinds of sentences in mathematics
are universal statements, conditional statements, and
existential statements.
A universal statement says that a certian property is true
for all elements in a set.
Example: All positive numbers are greater than zero.
A conditional statement says that if one thing is true,
then some other thing also has to be true.
Module 2 20 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Three of the most important kinds of sentences in mathematics
are universal statements, conditional statements, and
existential statements.
A universal statement says that a certian property is true
for all elements in a set.
Example: All positive numbers are greater than zero.
A conditional statement says that if one thing is true,
then some other thing also has to be true.
Example: If 378 is divisible by 18, then 378 is divisible by 6.
Module 2 20 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Three of the most important kinds of sentences in mathematics
are universal statements, conditional statements, and
existential statements.
A universal statement says that a certian property is true
for all elements in a set.
Example: All positive numbers are greater than zero.
A conditional statement says that if one thing is true,
then some other thing also has to be true.
Example: If 378 is divisible by 18, then 378 is divisible by 6.
Given a property that may or may not be true, an
existential statement says that there is at least one thing
for which the property is true.
Module 2 20 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Three of the most important kinds of sentences in mathematics
are universal statements, conditional statements, and
existential statements.
A universal statement says that a certian property is true
for all elements in a set.
Example: All positive numbers are greater than zero.
A conditional statement says that if one thing is true,
then some other thing also has to be true.
Example: If 378 is divisible by 18, then 378 is divisible by 6.
Given a property that may or may not be true, an
existential statement says that there is at least one thing
for which the property is true.
Example: There is a prime number that is even.
Module 2 20 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Conditional Statements
Module 2 21 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Conditional Statements
Module 2 21 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Conditional Statements
Module 2 21 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Conditional Statements
Module 2 21 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Conditional Statements
Module 2 21 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Conditional Statements
Module 2 21 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Conditional Statements
Module 2 21 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Conditional Statements
Module 2 21 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Existential Statements
Module 2 22 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Existential Statements
Example:
Module 2 22 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Existential Statements
Example:
Every real number has an additive inverse.
Module 2 22 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Universal Existential Statements
Example:
Every real number has an additive inverse.
Module 2 22 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Existential Universal Statements
An existential universal statement is a statement that is
existential because its first part says that a certain object exists
and is universal because its second part says that the object
satisfies a certain property for all things of a certain kind.
Module 2 23 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Existential Universal Statements
An existential universal statement is a statement that is
existential because its first part says that a certain object exists
and is universal because its second part says that the object
satisfies a certain property for all things of a certain kind.
Example:
Module 2 23 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Existential Universal Statements
An existential universal statement is a statement that is
existential because its first part says that a certain object exists
and is universal because its second part says that the object
satisfies a certain property for all things of a certain kind.
Example:
There is a positive integer that is less than or equal to every
positive integer.
Module 2 23 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Existential Universal Statements
An existential universal statement is a statement that is
existential because its first part says that a certain object exists
and is universal because its second part says that the object
satisfies a certain property for all things of a certain kind.
Example:
There is a positive integer that is less than or equal to every
positive integer.
or
Module 2 23 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Existential Universal Statements
An existential universal statement is a statement that is
existential because its first part says that a certain object exists
and is universal because its second part says that the object
satisfies a certain property for all things of a certain kind.
Example:
There is a positive integer that is less than or equal to every
positive integer.
or
There is a positive m with the property that for all positive
integers n, m ≤ n.
Module 2 23 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Existential Universal Statements
An existential universal statement is a statement that is
existential because its first part says that a certain object exists
and is universal because its second part says that the object
satisfies a certain property for all things of a certain kind.
Example:
There is a positive integer that is less than or equal to every
positive integer.
or
There is a positive m with the property that for all positive
integers n, m ≤ n.
or
Module 2 23 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Mathematical Statements
Existential Universal Statements
An existential universal statement is a statement that is
existential because its first part says that a certain object exists
and is universal because its second part says that the object
satisfies a certain property for all things of a certain kind.
Example:
There is a positive integer that is less than or equal to every
positive integer.
or
There is a positive m with the property that for all positive
integers n, m ≤ n.
or
∃m ∈ Z+ s.t.∀n ∈ Z+ , m ≤ n.
Module 2 23 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
For (a)-(c), write TRUE if the statement below is true, write
FALSE otherwise.
(a) Statement: For all x ∈ R, there exists a real number
y such that x + y = 0.
Module 2 24 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Fill in the blanks such that using variables and symbols to
rewrite the given sentence:
Module 2 25 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Fill in the blanks such that using variables and symbols to
rewrite the given sentence:
1. Given: Is there a real number whose square is −1?
Module 2 25 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Fill in the blanks such that using variables and symbols to
rewrite the given sentence:
1. Given: Is there a real number whose square is −1?
Is there a real number such that ?
Module 2 25 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Fill in the blanks such that using variables and symbols to
rewrite the given sentence:
Module 2 26 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Fill in the blanks such that using variables and symbols to
rewrite the given sentence:
2. Given: Given any two real numbers, there is a real number in
between.
Module 2 26 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Fill in the blanks such that using variables and symbols to
rewrite the given sentence:
2. Given: Given any two real numbers, there is a real number in
between.
For any two and , such that a < c < b.
Module 2 26 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 27 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 28 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 28 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 28 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 29 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 29 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 29 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 29 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 29 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 29 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Sets
Module 2 30 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Sets
Module 2 30 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Sets
Module 2 30 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Sets
Module 2 30 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Sets
{x ∈ X : P (x)} .
Module 2 30 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Sets
{x ∈ X : P (x)} .
Module 2 30 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 31 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 31 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 31 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 31 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 31 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 31 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Subsets
Module 2 32 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Subsets
Module 2 32 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Subsets
Module 2 32 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Subsets
Module 2 32 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Subsets
Module 2 32 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
Module 2 33 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
For (a)-(c), write TRUE if the statement below is true, write
FALSE otherwise.
Module 2 33 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
For (a)-(c), write TRUE if the statement below is true, write
FALSE otherwise.
(a) Statement: 11 ∈ A.
Module 2 33 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
For (a)-(c), write TRUE if the statement below is true, write
FALSE otherwise.
(a) Statement: 11 ∈ A.
(b) Statement: B ⊂ C and B ⊆ C.
Module 2 33 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
For (a)-(c), write TRUE if the statement below is true, write
FALSE otherwise.
(a) Statement: 11 ∈ A.
(b) Statement: B ⊂ C and B ⊆ C.
(c) Statement: D = {−3, 3} .
Module 2 33 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Let N be the set of natural numbers,
X = {1, 4, 9, 16, ...} , Y = {n ∈ Z : n ≥ 0, n is even} .
Module 2 34 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Let N be the set of natural numbers,
X = {1, 4, 9, 16, ...} , Y = {n ∈ Z : n ≥ 0, n is even} .
(a) State explicitly the elements of the set Y (write set Y in
set-roster notation).
Module 2 34 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Exercises:
Let N be the set of natural numbers,
X = {1, 4, 9, 16, ...} , Y = {n ∈ Z : n ≥ 0, n is even} .
(a) State explicitly the elements of the set Y (write set Y in
set-roster notation).
Module 2 34 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 35 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 35 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 35 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
A × B = {(a, b) : a ∈ A and b ∈ B} .
Module 2 35 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 36 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 36 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 36 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 36 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 36 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
Module 2 37 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
• Sometimes, relations are defined with reference to two sets
A and B.
Module 2 37 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
• Sometimes, relations are defined with reference to two sets
A and B.
• A relation between two sets A and B is a set of ordered
pairs (a, b) where a ∈ A and b ∈ B. Thus, a relation is a subset
of the Cartesian product A × B.
Module 2 37 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
• Sometimes, relations are defined with reference to two sets
A and B.
• A relation between two sets A and B is a set of ordered
pairs (a, b) where a ∈ A and b ∈ B. Thus, a relation is a subset
of the Cartesian product A × B.
• Given an ordered pair (x, y) in A × B, the element x is
related to element y by R, written xRy, iff (x, y) is in R. The set
A is called the domain of R and the set B is called its
co-domain.
Module 2 37 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
• Sometimes, relations are defined with reference to two sets
A and B.
• A relation between two sets A and B is a set of ordered
pairs (a, b) where a ∈ A and b ∈ B. Thus, a relation is a subset
of the Cartesian product A × B.
• Given an ordered pair (x, y) in A × B, the element x is
related to element y by R, written xRy, iff (x, y) is in R. The set
A is called the domain of R and the set B is called its
co-domain.
• In most books, domain is defined as the
Module 2 37 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
• Sometimes, relations are defined with reference to two sets
A and B.
• A relation between two sets A and B is a set of ordered
pairs (a, b) where a ∈ A and b ∈ B. Thus, a relation is a subset
of the Cartesian product A × B.
• Given an ordered pair (x, y) in A × B, the element x is
related to element y by R, written xRy, iff (x, y) is in R. The set
A is called the domain of R and the set B is called its
co-domain.
• In most books, domain is defined as the
Module 2 37 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
Module 2 38 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
Example:
Module 2 38 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
Example:
Let A = {0, 1, 2} and B = {1, 2, 3} . Let us say that an
element x in A is related to an element y in B iff x < y . Let us
use the notation xR< y as a shorthand for the sentence “x is
related to y .” Then,
Module 2 38 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
Example:
Let A = {0, 1, 2} and B = {1, 2, 3} . Let us say that an
element x in A is related to an element y in B iff x < y . Let us
use the notation xR< y as a shorthand for the sentence “x is
related to y .” Then,
Module 2 38 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
Example:
Let A = {0, 1, 2} and B = {1, 2, 3} . Let us say that an
element x in A is related to an element y in B iff x < y . Let us
use the notation xR< y as a shorthand for the sentence “x is
related to y .” Then,
(a) A × B
Module 2 38 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Relations
Example:
Let A = {0, 1, 2} and B = {1, 2, 3} . Let us say that an
element x in A is related to an element y in B iff x < y . Let us
use the notation xR< y as a shorthand for the sentence “x is
related to y .” Then,
(a) A × B
(b) List all the elements in A × B that are related.
Module 2 38 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example 1 page 40
Module 2 39 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example 1 page 40
Let A = {1, 2} and B = {1, 2, 3} and define a relation R from A
to B as follows:
Module 2 39 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example 1 page 40
Let A = {1, 2} and B = {1, 2, 3} and define a relation R from A
to B as follows:
Given any (x, y) ∈ A × B,
Module 2 39 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example 1 page 40
Let A = {1, 2} and B = {1, 2, 3} and define a relation R from A
to B as follows:
Given any (x, y) ∈ A × B,
x −y
(x, y) ∈ R means that ∈ Z.
2
Module 2 39 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example 1 page 40
Let A = {1, 2} and B = {1, 2, 3} and define a relation R from A
to B as follows:
Given any (x, y) ∈ A × B,
x −y
(x, y) ∈ R means that ∈ Z.
2
(a) State explicitly which ordered pairs are in A × B and which
are in R.
Module 2 39 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example 1 page 40
Let A = {1, 2} and B = {1, 2, 3} and define a relation R from A
to B as follows:
Given any (x, y) ∈ A × B,
x −y
(x, y) ∈ R means that ∈ Z.
2
(a) State explicitly which ordered pairs are in A × B and which
are in R.
(b) Is 1R3? 2R3? 2R2?
Module 2 39 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example 1 page 40
Let A = {1, 2} and B = {1, 2, 3} and define a relation R from A
to B as follows:
Given any (x, y) ∈ A × B,
x −y
(x, y) ∈ R means that ∈ Z.
2
(a) State explicitly which ordered pairs are in A × B and which
are in R.
(b) Is 1R3? 2R3? 2R2?
(c) What are the domain and co-domain of R?
Module 2 39 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Functions
Module 2 40 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Functions
Module 2 40 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Functions
Module 2 40 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Functions
Module 2 40 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 41 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 42 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Module 2 43 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Answers:
(a) R is not a function since it does not satisfy property (2), the
element 4 is paired with elements 1 and 3.
(b) S is not a function since it does not satisfy property (1),
some elements in set A are not paired with any element in set
B.
Module 2 44 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
Module 2 45 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
For (a)-(d), define a relation R from A to B as follows: Given
any (x, y) ∈ A × B,
(x, y ) ∈ R iff y = x + 5.
Module 2 45 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
For (a)-(d), define a relation R from A to B as follows: Given
any (x, y) ∈ A × B,
(x, y ) ∈ R iff y = x + 5.
Module 2 45 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
For (a)-(d), define a relation R from A to B as follows: Given
any (x, y) ∈ A × B,
(x, y ) ∈ R iff y = x + 5.
Module 2 45 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
For (a)-(d), define a relation R from A to B as follows: Given
any (x, y) ∈ A × B,
(x, y ) ∈ R iff y = x + 5.
Module 2 45 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
Module 2 46 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
For (a)-(d), define a relation R from A to B as follows: Given
any (x, y) ∈ A × B,
(x, y ) ∈ R iff y = x + 5.
Module 2 46 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
For (a)-(d), define a relation R from A to B as follows: Given
any (x, y) ∈ A × B,
(x, y ) ∈ R iff y = x + 5.
Module 2 46 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let A = {6, 7, 8, 9, 10} , B= {11, 12, 13} , C =
{11, 12, 13, 14, 15} , D = x ∈ R : x 2 = 9 .
For (a)-(d), define a relation R from A to B as follows: Given
any (x, y) ∈ A × B,
(x, y ) ∈ R iff y = x + 5.
Module 2 46 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Functions
Module 2 47 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Functions
Example:
(1) f (x) = −x transforms a number to its negative.
(2) f (x, y) = x 2 + 2y transforms pairs of numbers into a single
number.
Module 2 48 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example 4 page 44
Module 2 49 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let g : R → R be defined by g(x) = 2x − 5. Evaluate g (0) and
g (m − 1) .
Solution:
Module 2 50 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Binary Operations
Module 2 51 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Connectives
Module 2 52 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Quantifiers
• Words like “all,” “some,” “any,” “every,” “for all,” “there exists,”
and “nothing” are called quantifiers.
• The symbols ∀ and ∃ are used to denote “for all” and “there
exists.
Example:
Let P be the set of all prime numbers.
That is, P = {2, 3, 5, 7, ...} .
∀n ∈ N ∃m ∈ P such that m > n.
Module 2 53 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Negation
Example:
Statement A: Every student in this class is female.
Question: What is the negation of A?
Answer:
Module 2 54 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Negation
Example:
• Let A = {k ∈ Z+ : k ≤ 100}.
• Statement P : ∀n ∈ A, n is odd.
• We write ¬P as:
¬ (∀n ∈ A, n is odd) .
¬P : ∃n ∈ A, n is even.
Module 2 55 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let P = {1, 3, 5, 7} . Given Statement A: ∀n ∈ P, ∃k ∈ Z such
that n = 2k + 1.
Module 2 56 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let P = {1, 3, 5, 7} . Given Statement A: ∀n ∈ P, ∃k ∈ Z such
that n = 2k + 1.
(a) Explain in your words the meaning of Statement A.
Module 2 56 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
Example
Let P = {1, 3, 5, 7} . Given Statement A: ∀n ∈ P, ∃k ∈ Z such
that n = 2k + 1.
(a) Explain in your words the meaning of Statement A.
Module 2 56 / 57
Language of Mathematics
Four Basic Concepts
Elementary Logic
References:
Aufmann, R. (2006). Mathematical Excursions. Houghton
Mifflin College Div.
Aufmann, R. et al. (2018). Mathematics in the Modern
World. Manila: Rex Book Store, Inc.
Fisher, C.B. The Language of Mathematics (from One
Mathematical Cat, Please! by Carol Burns Fisher).
Gowers, T., Barrow-Green, J. and Leader, I. (2008). The
Princeton companion to mathematics. Princeton, N.J.:
Princeton University Press.
Module 2 57 / 57