Mathematics of Language and Symbols
Mathematics of Language and Symbols
LEARNING OUTCOMES
LEARNING OBJECTIVES
1|Page
4. Appreciate that mathematics is a useful language.
ENGAGE
EXPLORE
The teacher will present the following tree diagrams about English and
Mathematics. Then, ask the students about the similarities between Mathematics
and English.
EXPLAIN
2|Page
EXPLAIN
2. 𝑥 + 2 < 𝑥 − 3 False
3. 𝑥 + 1 = 3 Sometimes True/False
3|Page
Conventions in the Mathematical Language
4|Page
¬ Logical not ... Logical ¬(¬A) A
negation statements
symbol
Logical ... implies ... If Logical A B
implication ... then ... statements
symbol
Logical ... is logically Logical A B
equivalence equivalent to ... statements
symbol ... if and only
if...
Element-of ... is an element Sets aA
symbol Sets of a set ...
aA
Not- ... is not an Sets bA
element-of element of a set
symbol ...
Subset ... is a subset of ... Sets AB
symbol Sets
Proper ... is a proper Sets AB
subset subset of ...
symbol
Union ... union ... Sets AB = BA
symbol Sets
Intersection intersect ... ... Sets AB = BA
symbol ... intersected with
...
Null symbol The null set Sets ={}
Sets The empty set
𝑵 Bold N The set of natural Number theory N= {1, 2, 3,
numbers Set theory ...}
𝑾 Bold W The set of whole Number theory W= {0, 1, 2,
numbers Set theory 3, ...}
𝒁 Bold Z The set of Number theory Z= {,… -3, -2,
integers Set theory -1 0, 1, 2, 3,
...}
𝒁* Bold Z The set of non- Number theory Z=
asterisk integers Set theory 3
{… ,0. 3̅, 0.5, ,
4
…}
5|Page
𝑸 Bold Q The set of Number theory Q = {a/b |
rational numbers Set theory a and b are
in Z }
𝑸∗ Bold Q The set of Number theory Q = {x| x
asterisk irrational Set theory a/b | a and
numbers b are in Z }
𝑹 Bold R The set of real Number theory
numbers Set theory
Finite Set – contains elements that can be counted and terminates at a certain
natural number.
Infinite Set – set whose elements cannot be listed if it has an unlimited
(uncountable)
Specification of Sets
1. List Notation/Roster Method
- list names of elements of a set, separate them by commas, and
enclosed them in braces.
2. Predicate Notation/Rule Method/Set-Builder Notation – stating a property of
its elements
3. Recursive Rules – defining a set of rules which generates its members
Equality
Two sets are equal if they have precisely the same members.
Equivalence
Two sets are equivalent if they contain the same number of members.
Universal Set (U) - A set contains all the elements considered in a particular
situation.
Subsets - A set A is called a subset of the set of B if every element of A is also an
element of B.
A proper subset is a subset that is not equal to the original set, otherwise, it is
called an improper subset.
6|Page
Operation on Sets
1. Union
- An operation for sets A and B in which a set is formed that consists of all
the elements included in A or B or both, denoted by A B.
2. Intersection – set containing all elements common to both A and B, denoted
by A B.
3. Complementation - The complement of a set, denoted A', is the set of all
elements in the given universal set U that are not in A.
2. RELATION
- A collection of ordered pairs containing one object from each set.
3. FUNCTION
- an expression, rule, or law that defines a relationship between one variable
(the independent variable) and another variable (the dependent variable).
4. BINARY OPERATIONS
- a calculation involving two elements of the set to produce another element of
the set.
MATHEMATICAL LOGIC
• Logic allows us to determine the validity of arguments in and out of mathematics.
• Illustrates the importance of precision and conciseness of the language of
mathematics.
• A proposition is a statement that is either true (T) or false (F).
• A truth table is a table that shows the truth value of a compound statement for all
possible truth values of its simple statements.
Logical Connectives
Let P and Q be propositions:
• The Negation of P means not 𝑃 and is denoted by ~P.
• The Conjunction of P and Q is the compound statement P and Q.
7|Page
• The Biconditional of P and Q is the compound statement P if and only if Q.
ELABORATE
EVALUATE
REFERENCES
Daligdig, R.M. (2019). Mathematics in the Modern World by Lorimar Publishing, Inc.
8|Page