Language of Mathematics Lecture - For Student
Language of Mathematics Lecture - For Student
FOREVER!
EUCLID
Aristotle
ARGUMENTATION
is a recreation.
ARCHIMEDES
Topics
Types, Operations and Truth Values
of Propositions
Methods of Proof
What is a PROPOSITION?
DEFINITION: PROPOSITION
A proposition or a statement is a declarative
sentence that is either true or false but not both.
If the proposition is true, then its truth value is
true and if it is false, then its truth value is false.
DEFINITION: PARADOX
A paradox is a declarative sentence which could
neither be true, nor false, or is both true or false.
MORE EXAMPLES:
1. 0.5 is a very small 6. If 𝒂𝒃 = 𝟎, then either
number. 𝒂 = 𝟎 or 𝒃 = 𝟎.
1. The sun is the center of the solar system. Statements 1 and 2 are
simple propositions
2. Heart Evangelista is the wife of Sen. Chiz while statements 3 and
Escudero. 4 are compound
propositions.
3. Pres. Duterte is the 16th president while
Vice Pres. Robredo is either the 12th or the
14th vice president of the Republic of the
Philippines.
DISJUNCTION Or 𝑷∨𝑸 “𝑷 or 𝑸”
Example:
Let 𝑃 and 𝑄 be the following statements:
𝑃: The sum of two odd numbers is even.
𝑄: The sum of an even number and an odd number is even.
Note:
𝑃 is called the antecedent of the implication.
𝑄 is called the consequent of the implication.
CONDITIONAL: 𝑷 → 𝑸
CONVERSE:
𝑄 → 𝑃: If the police officers will arrest lawbreakers, then the curfew is effective today.
INVERSE:
~𝑃 → ~𝑄: If the curfew is not effective today, then the police officers will not
arrest lawbreakers.
CONTRAPOSITIVE:
~𝑄 → ~𝑃: If the police officers will not arrest lawbreakers, then the curfew is not
effective today.
BICONDITIONAL: 𝑷 ↔ 𝑸
We observe the words if and only if, is a necessary and sufficient condition,
etc.
Examples:
1. A real number is even if and only if it is divisible by 2.
2. A polygon is a square if and only if it has four equal sides and four
equal angles.
3. An integer having the factors only 1 and itself is a necessary and
sufficient condition for an integer to be a prime number.
ANS: 𝑷 ↔ (𝑸 ∧ ~𝑹)
3. If you are interested in becoming a volunteer,
you should fill up the application form and submit
it to our headquarters or at any of our local offices.
ANS:
𝑷 → (𝑸 ∧ 𝑹 ∨ 𝑺 )
TRUTH TABLES OF
COMPOUND PROPOSITIONS
A TRUTH TABLE is a table showing
all possible truth values of a
particular compound proposition.
TRUTH VALUE OF COMPOUND PROPOSITIONS
NEGATION
𝑷 ∼𝑷
T F
F T
TRUTH VALUE OF COMPOUND PROPOSITIONS
CONJUNCTION
𝑷 𝑸 𝑷∧𝑸
T T T
T F F
F T F
F F F
TRUTH VALUE OF COMPOUND PROPOSITIONS
DISJUNCTION
𝑷 𝑸 𝑷∨𝑸
T T T
T F T
F T T
F F F
TRUTH VALUE OF COMPOUND PROPOSITIONS
CONDITIONAL
𝑷 𝑸 𝑷→𝑸
T T T
T F F
F T T
F F T
TRUTH VALUE OF COMPOUND PROPOSITIONS
BICONDITIONAL
𝑷 𝑸 𝑷↔𝑸
T T T
T F F
F T F
F F T
ACTIVITY TIME!!!
CONSTRUCT THE TRUTH TABLES OF THE FOLLOWING
COMPOUND PROPOSITIONS:
1. 𝑷 ∧ ~𝑷
2. (~𝑷 ∧ 𝑸) ↔ (𝑷 → 𝑸)
3. (𝑷 ∧ ~𝑸) → 𝑹
𝑷 ∼𝑷 𝑷 𝑸 𝑷∨𝑸 𝑷 𝑸 𝑷∧𝑸
T F T T T T T T
F T
T F T T F F
F T T F T F
F F F F F F
𝑷 𝑸 𝑷→𝑸 𝑷 𝑸 𝑷↔𝑸
T T T T T T
T F F T F F
F T T F T F
F F T F F T
DEFINITION: CONTRADICTION, TAUTOLOGY, CONTINGENCY
EXAMPLES:
(a) All fishes live in water.
(b) No prime number is even.
(c) Every elephant is in Thailand.
(d) No sea creatures can live on land.
The quantifiers “some” is said to be existential quantifiers since it refers
to at least one element of the set only.
EXAMPLES:
(a) Some fishes live in water.
(b) Some prime numbers are even.
(c) Some elephants are in Thailand.
(d) Some odd numbers are divisible by 2.
Let 𝑆 and 𝑃 be the two sets described in the categorical proposition.
P x P
x
S S