Math 1100 Module 2 - Functions To Logic
Math 1100 Module 2 - Functions To Logic
Example:
The set 𝑅 = {(1, 2), (3, 4), (5, 6)} is a relation.
The first components 1, 3, 5 of the ordered pairs are respectively related to the second
components 2, 4, 6. The set {1, 3, 5} is called the domain of the relation while the set
{2, 4, 6} is called its range.
Consider the relation 𝐴 = {(1, 𝑎), (2, 𝑏), (3, 𝑏), (2, 𝑑), (1, 𝑒)}.
What is its domain? How about its range? (Answer5)
Illustrations:
1. The relation 𝐵 = {(1,2), (2,3), (3,4), (4,5), (5,6)} is a function.
2. The relation 𝐶 = {(1,2), (𝟐, 𝟑), (4,5), (𝟐, 𝟕)} is not a function.
Ordered pairs (2,3) and (2,7) have the same first components.
Aside from observing functions and relations in sets of ordered pairs, they may also
be described in other ways such as in graphs, and most often in equations that specify
the relationship between two variables 𝑥 and 𝑦.
5
Domain: {1, 2, 3} ; Range: {𝑎, 𝑏, 𝑑, 𝑒}
12
Department of Mathematics and Physics MATH 1100
Then, 𝑓(7) means inputting 7 into function f which processes it accordingly as 2(7) + 3
that produces the output 17.
Depending on how the function is defined (how the machine is designed), inputs
(expressions) are processed accordingly to produce an output.
Example: Consider 𝑓(𝑥) = 3𝑥 2 – 5𝑥 + 2 and 𝑔(𝑥) = 2 – 3𝑥. Find each of the following:
a. 𝑓(2) d. 𝑓(1/2) – 𝑔(2) + 3/2
b. 𝑔(– 3/2) e. 𝑓(3) + 𝑔(2𝑥– 7)
c. 𝑓(– 2) – 𝑔(4/3) f. 𝑓(𝑔(𝑥))
Solutions.
a. 𝑓(2) = 3(2)2 – 5(2) + 2 = 3(4) – 10 + 2 = 4
3 3 9 13
b. 𝑔 (– ) = 2 – 3 (– ) = 2 + =
2 2 2 2
4 4
c. 𝑓 (– 2) − 𝑔 ( ) = [3(– 2)2 – 5(– 2) + 2] − [2 – 3 ( )]
3 3
= [12 + 10 + 2] – [2 – 4]
= 24 – (– 2)
= 26
13
Department of Mathematics and Physics MATH 1100
1 2 1 2 1 3
d. 𝑓 ( ) – 𝑔(2) + = [3 ( ) – 5 ( ) + 2] – [2 – 3(2)] +
2 3 2 2 2
3 5 3
= [ – + 2] – [2 – 6] +
4 2 2
1 3
= – [– 4] +
4 2
23
=
4
SUPPLEMENTARY VIDEOS:
For better understanding on operations and compositions of functions, video links are
provided below.
14
Department of Mathematics and Physics MATH 1100
A binary operation on a set is a rule for combining two elements of the set, to produce
another element of the same set. A binary operation * defined on a non-empty set 𝑆 is
a rule that assigns to each ordered pair (𝑎, 𝑏) of elements of 𝑆 a unique element 𝑎*𝑏 ∈
𝑆.
Illustrations:
1. On the set of natural numbers 𝑁 = {1, 2, 3, 4, 5, . . . }, addition and multiplication
are binary operations because adding or multiplying any two elements of 𝑁
produces an element that also belongs to 𝑁.
1. Closure Property
The binary operation * defined on a set 𝐴 is closed on set 𝐴 if and only if
𝒂*𝒃 ∈ 𝑨 for any 𝒂, 𝒃 ∈ 𝑨.
Example:
The binary operation addition “+” is closed on the set of integers because when we add
any two integers, the result is also an integer.
However, division “/” is not closed on the set of integers because when we divide any
two integers such as 5/3, the result may happen to be not integer.
2. Commutative Property
A binary operation* defined on a set A is said to be commutative if
𝒂*𝒃 = 𝒃*𝒂 for any 𝒂, 𝒃 ∈ 𝑨.
Example:
The binary operations addition and multiplication are commutative on the set of real
numbers.
6
If you consider two elements in 𝑁, say 1 and 5, 1 − 5 = −4 or 1 ÷ 5 = 1/5 is not an element of 𝑆. So subtraction
and division are not binary operations in 𝑁.
15
Department of Mathematics and Physics MATH 1100
3. Associative Property
A binary operation * defined on a set 𝐴 is said to be associative if
(𝒂*𝒃)*𝒄 = 𝒂*(𝒃*𝒄) for any 𝒂, 𝒃, 𝒄 ∈ 𝑨.
Example:
Both addition and multiplication are associative operations on natural numbers.
Subtraction is not an associative operation because for example,
(11 – 18) – 7 ≠ 11 – (18 – 7) .
Example:
In the set of real numbers, the identity element for multiplication is 1 while the identity
element for addition is 0.
Example:
In the set of integers ℤ, every element has an additive inverse.
However, not one of the elements has a multiplicative inverse.
In the set of whole numbers 𝑊 = {0, 1, 2, 3, 4, . . . }, the only element that has an additive
inverse is zero; its inverse is itself.
16
Department of Mathematics and Physics MATH 1100
Logic is the primary basis of all mathematical reasoning. As such, it is concerned with the
investigation of consequences that hold between the premises and the conclusion of a
sound argument.
Statements (Propositions)
A statement (or proposition) is the basic building block of logical reasoning. It is a
declarative sentence that is either true or false, but not both. If it is true, its truth value
is said to be T (true); otherwise, it is an F (false).
Illustrations:
1. “10 + 12 = 22” is a statement that is true.
2. “The letter s is a vowel” is a statement that is false.
3. “Samsung creates cellphones” is a statement that is true.
4. “Samsung creates the best cellphones” is not a statement;
it is an opinion that may be true to some people but false to others.
5. “2𝑥 + 5 = 𝑦 − 3” is not a statement;
it is sometimes true and sometimes false.
Statements are commonly represented by small letters; most frequently used are p, q, r,
s, and t.
For example, the statement “It is raining” may be represented by p as in the following:
p: It is raining.
Compound Statements
17
Department of Mathematics and Physics MATH 1100
Example:
“Ben donated ₱10,000 and he did not take a bath or attended his class”
is a compound statement that is composed of 3 simpler statements:
p: Ben donated P10000.
q: He did not take a bath.
r: He attended his class.
To determine the truth value of a compound statement, we need to first consider and
examine the way the simpler statements are connected. The resulting compound
statement can be a negation, a conjunction, a disjunction, an implication, a double
implication or any combination of these.
Negation (¬)
The negation of a statement is denial of the statement. To negate a statement, the
symbol ¬ is used. To illustrate,
Statement Negation
p: It is raining. ¬p: It is not raining.
s: All CLSU students are optimistic. ¬s: Not all CLSU students are optimistic.
Note:
“All CLSU students are not optimistic.”
is not a negation of s (why?)
The statement “r: Some classmates are upperclassmen.” means that at least one of the
classmate is upperclassman. The negation of the statement should mean that none of
the classmates are upperclassmen.
The statement “s: All CLSU students are optimistic.” means that every CLSU student is
optimistic. The negation of the statement should mean that there is at least one CLSU
student that is not optimistic.
18
Department of Mathematics and Physics MATH 1100
A negation is true T if and only the statement itself is false F. Similarly, a negation is false
F if and only the statement itself is true T.
Conjunction (∧)
A conjunction consists of 2 or more simpler statements that are connected by the word
“and ”, represented by the symbol ∧. That is, the conjunction p ∧ q represents the
compound statement “p and q”.
A conjunction of 2 statements p and q is true if and only if both p and q are true.
Disjunction (∨)
A disjunction consists of 2 or more simpler statements that are connected by the word
“or ”, represented by the symbol ∨. That is, the conjunction p ∨ q represents the
compound statement “p or q”.
A disjunction of 2 statements p and q is true if and only if at least one of p and q is true.
19
Department of Mathematics and Physics MATH 1100
Implication ( )
An implication (also called conditional) consists of two cause-and-effect statements. One
is a premise and the other is a consequence that are connected by the words “if…then”.
The symbol is used. That is, the implication p q represents the compound
statement “if p then q”. Equivalently, it means
Illustration: p: It is raining.
q: The ground is wet.
p q: If it is raining then the ground is wet.
¬p q: If it is not raining then the ground is wet.
Sometimes, we are interested in taking the converse, the inverse, or the contrapositive
of an implication p q. These are defined as
Converse : q p
Inverse: ¬p ¬q
Contrapositive: ¬q ¬p
Example:
Statement: If you are more than 60 years old, then you are entitled to a senior
citizen’s card.
Converse: If you are entitled to a senior citizen’s card, then you are more than 60
years old.
Inverse: If you are not more than 60 years old, then you are not entitled to a
senior citizen’s card.
Contrapositive: If you are not entitled to a senior citizen’s card, then you are not more
than 60 years old.
20
Department of Mathematics and Physics MATH 1100
Double Implication ( )
A double implication (also called biconditional) is a statement of the form
(p q) (q p),
and is written as p q.
A biconditional p q is considered true if and only if p and q are both true or are both
false.
SUMMARY
21
Department of Mathematics and Physics MATH 1100
POST ASSESSMENT:
2. A (C B)
3. (A C ') (B C )
22
Department of Mathematics and Physics MATH 1100
3. f(2x – 3) – g(x + 4)
23
Department of Mathematics and Physics MATH 1100
REFERENCES:
Badua, P. M., Daquioag, A. Z., Daquioag, R. R., Florendo, D. R., Ibanez, E. D., Pagay,
A. M., Romano, M. G., Seeping, A. V., Taganap, E. C., & Tumaliuan, M. N. (2012).
Functions, Relations and Graphs. In Pre-Calculus Math (Plane Trigonometry) (pp. 62-
75). Love Printing Press, Cabanatuan City.
Badua, P. M., Daquioag, A. Z., Daquioag, R. R., Florendo, D. R., Ibanez, E. D., Pagay,
A. M., Romano, M. G., Seeping, A. V., Taganap, E. C., & Tumaliuan, M. N. (2012).
Sets. In Pre-Calculus Math (College Algebra) (pp. 1-24). Love Printing Press,
Cabanatuan City.
Aufman, R. N., Lockwood, J., & Richard, D. (2013). Logic. In Mathematical Excursions
(3rd ed., pp. 111-119). Brooks/Cole, Cengage Learning.
Aufman, R. N., Lockwood, J., & Richard, D. (2013). Logic. In Mathematical Excursions
(3rd ed., pp. 133-137). Brooks/Cole, Cengage Learning.
Aufman, R. N., Lockwood, J., & Richard, D. (2013). Logic. In Mathematical Excursions
(3rd ed., pp. 141-144). Brooks/Cole, Cengage Learning.
24