8. How did you learn
your native
language?
(Filipino/Chinese
English/Japanese
Koreanβ¦)
9. MATHEMATICS AS LANGUAGE
A LANGUAGE is a systematic means of communicating
by the use of sound or conventional symbols. It is the
code we all use to express ourselves and
communicate to others.
10. Components of a language:
ο±Vocabulary of symbols or words
ο±Grammar or rules of how these symbols are used
ο±Community of people who use and understand
these symbols
ο±Range of meanings that can be communicated
with these symbols.
11. β’ ENGLISH LANGUAGE
β’ Symbols: English Letters
β’ Vowels and Consonants
β’ Words
β’ Phrases
β’ Sentences
MATHEMATICAL LANGUAGE
(Algebra)
Symbols: English Letters/ Arabic
Numerals
Variables and Constants
Term
Algebraic Expressions
Mathematical statements:
Equations, Inequalities, etc
15. EXAMPLES
1) Manila is the capital of the Philippines.
2) Shanghai is the capital of China.
3) Today is a Tuesday.
4) 1+1=2
5) 2+2=5
16. EXERCISES
Identify if the following
sentences are propositions.
1) Is it time already?
2) Pay attention to this.
3) π₯ + 1 = 2
4) π₯ + π¦ = π§
18. If a proposition π is true, its truth value
is π‘ππ’π, and is usually denoted by π.
If it is false, its truth value if
ππππ π denoted by πΉ.
19. EXAMPLES
π΄: The class of Mr. Garcia is very attentive.
π΅: Students of Dr. Nocon are attentive in class.
πΊ: Students in this class are all science students.
20. CONNECTIVES AND COMPOUND
PROPOSITIONS
A propositional connective is an operation
that combines two propositions to yield a new
proposition whose truth value depends only on
the truth values of the two original
propositions.
23. EXAMPLES
π· : Alyssa is sleeping.
πΈ : Matthew is noisy.
πΉ : Kyla is late in her class.
What does the following stand for?
1) π β§ π
2) Β¬π β π
3) π β¨ π
24. If propositions have their
truth values?
What the truth value of a
compound proposition?
25. NEGATION OF A PROPOSITION
π· Β¬π·
T F
F T
The negation of a proposition π is denoted
by Β¬π and is read as βnot πβ.
Truth Table
26. EXAMPLE
1. π: It will rain today.
Β¬π: It will not rain today.
2. π: Samantha is hardworking.
Β¬π: Samantha is not hardworking.
3. π : You will pass this course.
Β¬π : You will not pass this course.
27. CONJUNCTION OF PROPOSITIONS
The proposition βπ and πβ, denoted by
π· β§ πΈ,
is called the conjunction of π and π.
28. TRUTH VALUE OF π· β§ πΈ
π· πΈ π· β§ πΈ
T T T
T F F
F T F
F F F
29. EXAMPLE
1. π: Althea is beautiful.
π: Lance is strong.
π β§ π: Althea is beautiful and Lance is strong.
2. π: The stock exchange is down.
π: The stock exchange will continue to decrease.
π β§ π: The stock exchange is down and it will continue to
decrease.
30. DISJUNCTION: INCLUSIVE βORβ
The proposition βπ or πβ, denoted by
π· β¨ πΈ,
is called the disjunction of π or π. This is also
referred to as the inclusive βorβ.
31. TRUTH VALUE OF π· β¨ πΈ
π· πΈ π· β¨ πΈ
T T T
T F T
F T T
F F F
32. EXAMPLE: INCLUSIVE βORβ
1. π: This lesson is interesting.
π: The lesson is easy.
π β¨ π: This lesson is interesting or it is easy.
2. π: I want to take a diet.
π: The food is irresistible.
π β¨ π: I want to take a diet or the food is irresistible.
33. DISJUNCTION: EXCLUSIVE βORβ
The proposition βπ or π but not bothβ, denoted
by
π·β¨πΈ.
This is also referred to as the βexclusive orβ.
34. TRUTH VALUE OF π·β¨πΈ
π· πΈ π·β¨πΈ
T T F
T F T
F T T
F F F
35. IMPLICATIONS OR CONDITIONALS
The proposition βIf π·, then πΈβ, denoted by
π· β πΈ
is called an implication or a conditional.
Equivalent propositions: βπ· only if πΈβ, βπΈ follows
from π·β, βπ· is a sufficient condition for πΈβ, βπΈ
whenever π·β
36. THE COMPOUND PROPOSITION
π· βΉ πΈ
Also called the conditional statement.
π· βΉ πΈ
Hypothesis
Antecedent
Premise
Conclusion
Consequence
38. TRUTH VALUE OF π· βΉ πΈ
π· πΈ π· βΉ πΈ
T T T
T F F
F T T
F F T
39. EXAMPLE
π·: It is raining very hard today.
πΈ: Classes are suspended.
π· β πΈ: If it is raining very hard today,
then classes are suspended.
42. RELATED IMPLICATION: CONVERSE
The converse of the proposition
βIf π, then πβ
is the proposition
βIf π, then πβ.
In symbols, the converse of
π β π is π β π.
43. The converse of the proposition π β π
βIf it is raining very hard today, then classes are
suspended.β
is π β π and is stated as
βIf classes are suspended, then it is raining very hard
today.β
EXAMPLE
44. RELATED IMPLICATION:
CONTRAPOSITIVE
The contrapositive of the proposition
βIf π, then πβ
is the proposition
βIf not π, then not πβ.
In symbols, the contrapositive of
π· β πΈ is Β¬πΈ β Β¬π·.
45. The contrapositive of the proposition π β π:
βIf it is raining very hard today, then classes are
suspended.β
is the proposition Β¬π β Β¬π:
βIf classes are not suspended, then it is not raining
very hard today.β
EXAMPLE
46. RELATED IMPLICATION: INVERSE
The inverse of the proposition
βIf π, then πβ
is the proposition
βIf not π, then not πβ.
In symbols, the inverse of
π β π is Β¬π β Β¬π.
47. The inverse of the proposition π β π:
βIf it is raining very hard today, then classes are
suspended.β
is the proposition Β¬π β Β¬π:
βIf it is not raining very hard today, then classes are
not suspended.β
EXAMPLE
48. BICONDITIONALS
The proposition
βπ· if and only if πΈβ,
denoted by
π· β πΈ
is called a biconditional.
Equivalent propositions: βπ is equivalent to πβ, βπ is a
necessary and sufficient condition for πβ
49. SUMMARY OF TRUTH TABLES
π· πΈ π· β§ πΈ π· β¨ πΈ π·β¨πΈ π· βΉ πΈ π· βΊ πΈ Β¬π· Β¬πΈ
T T T T F T T F F
T F F T T F F F T
F T F T T T F T F
F F F F F T T T T
50. How can you determine
the number of rows in a
truth table?
Counting
Technique!!
Statistics
ALERT!!
51. If there are N propositions then the number
of rows is
ππ΅
π· πΈ π· βΉ πΈ
T T T
T F F
F T T
F F T
π· Β¬π·
T F
F T
56. EXAMPLE
β’Consider the following propositions and
determine if it is a tautology, contradiction or
a contingency.
1. π β¨ Β¬π
2. π β§ Β¬π
57. LOGICALLY EQUIVALENT
β’βTwo propositions π, π are logically
equivalent if π βΊ π is a tautology.β
Show that Β¬(π β¨ π) and Β¬π β§ Β¬π are
logically equivalent.
63. SOME RULES OF INFERENCE
Rule of
Inference
Name Rule of
Inference
Name
π
_______
β΄ π β¨ π
ADDITION
Β¬π
π β π
______
β΄ Β¬π
MODUS TOLLENS
(the mode of denying)
π β§ π
_______
β΄ π
SIMPLIFICATION
π β π
π β π
________
β΄ π β π
HYPOTHETICAL
SYLLOGISM
π
π
______
β΄ π β¨ π
CONJUNCTION
π β¨ π
Β¬π
_______
β΄ π
DISJUNCTIVE
SYLLOGISM
π
π β π
______
β΄ π
MODUS PONENS
(the mode of
affirming)
64. EXAMPLES
Identify the rules of inference used in each of the
following arguments.
1. Anna is a human resource management major.
Therefore, Anna is either a human resource
management major or a computer applications major.
2. If you have a current network password, then you can
log on to the network. You have a current network
password. Therefore, you can log on to the network.
65. EXAMPLES
3. If you have a current network password, then you
can log on to the network. You canβt log on to the
network. Therefore, you donβt have a current
network password.
4. If I go swimming, the I will stay in the sun for an
hour. If I stay in the sun for an hour, then I will get
sunburn. Therefore, if I go swimming , then I will
get sunburn.
66. TYPES OF FALLACIES
ο±Fallacy of affirming conclusion
ο±Fallacy of denying the hypothesis
ο±Begging the question or circular reasoning
67. EXAMPLE
β’ If you do every problem in a math book, then you
will learn mathematics. You learned mathematics.
Therefore, you did every problem in a math book.
Fallacy of affirming
the conclusion!
68. EXAMPLE
β’If you do every problem in a math book, then you
will learn mathematics. You did not do every
problem in the math book. Therefore, you did not
learn mathematics.
Fallacy of denying the
hypothesis!
69. EXERCISES
1. Answer the following exercises found on page
15 of the book: #βs 8,9,12,16 and 18.
2. Answer the following exercises found on page
22 of the book: #βs 1 and 2.
Editor's Notes
Point out the following ideas:
Many results in mathematics came about as generalizations of patterns and shape.
Studying patterns allows us to observe, hypothesize, discover and create.
The way of doing mathematics has evolved from just perfroming calculations or making deductions from patterns , testing conjectures and estimating results.
Mathematics has become a diverse discipline dealing with data, measurements and observation from the sciences as well as working with mathematical models of narutal phenomena, human behavior and social systems.
All these tells us that for all these aspects to advance and progress with the help of mathematics, a good grasp of the mathematical language is necessary.
Ask the students what is the language of mathematics.
Mention that we see these kinds of logic questions in entrance exams? Or in some IQ Tests.
Now that your brain muscles are all warmed up!!
Ask the class who knows the following languages? Chinese/Japanese/Korean? Ask them how they learned these languages?
Point out that all these components are found in mathematics
Emphasize the comparison between the English Language and Mathematical Language used in Algebra
Just like any other language, mathematics has nouns, pronouns, verbs and sentences. It has its own vocabulary, grammar, syntax, word order, synonyms, negations, sentence structure etc..
Mention that the term calculus just means β βa particular method or system of calculation or reasoningβ
Ask the each section to provide an example of a proposition.
Propositions 1) and 4) are TRUE while 2, 3 and 5 are FALSE.
1) and 2) are NOT propositions since they are not declarative sentences or statements. While 3) and 4) are not propositions since they are either true or false depending on the values fo the variables.
Mention that in Propositional calculus / Mathematical reasoning, Propositions are just like the alphabet of the English language.
Point out that there are other connectives will not be discussed that they can encounter when they read some specialized books in computer science, engineering and advanced mathematics books.
The conjunction of two propositions is TRUE only if both propositons are TRUE otherwise the conjunction is FALSE
The disjunction of two proposition is FALSE if both are FALSE and TRUE otherwise.
The exclusive or of two proposition is TRUE if the two propositions have different truth values.
The implication π·βΉπΈ will only be FALSE in the case that the conclusion is false by the premise is true. And in all other cases, the implication is TRUE.
Construct the truth tables for p, q, πβ¨π ,Β¬ πβ¨π ,Β¬π,Β¬π and Β¬πβ§Β¬π
Show to the class that the above statement is true by constructing the truth tables of an implication and its contrapositive.