SlideShare a Scribd company logo
1 of 69
Download to read offline
MATHEMATICS AS A
LANGUAGE
Mathematics in the Modern World
MATH 100 AY 2023-2024
ANSWER:
WHAT’S NEXT?
1 βˆ— 1 = 1
11 βˆ— 11 = 121
111 βˆ— 111 = 12,321
1,111 βˆ— 1,111 = 1,234,321
11,111 βˆ— 11,111 = 123,454,321
111,111 βˆ— 111,111 = ? ? ? ?
WHAT’S NEXT?
ANSWER
: 12,345,654,321
WHAT’S NEXT?
1
3
15
7
31
ANSWER
:
1 = 21
βˆ’ 1
3 = 22
βˆ’ 1
7 = 23
βˆ’ 1
15 = 24
βˆ’ 1
31 = 25
βˆ’ 1
IS THIS THE
ONLY EXPLANATION?
WHAT’S NEXT?
ANSWER
:
WHAT’S THE
PATTERN IN
THE GIVEN
SET OF
EQUATIONS?
LETS
BEGIN!
How did you learn
your native
language?
(Filipino/Chinese
English/Japanese
Korean…)
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.
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.
β€’ 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
ELEMENTS OF THE MATHEMATICAL
LANGUAGE
0123456789
Β±Γ—Γ· ∞ =β‰  ~ <β‰₯β‰€βˆ“β‰…
≑ βˆ€
4
βˆͺ ∩ βˆ… % βˆƒ βˆ„ ∈
βˆ‹ 𝛼 𝛽 𝛾 𝛿 πœ€ πœ– πœƒ πœ— πœ‹ πœ‡ 𝜌 𝜎 𝜏 πœ‘ πœ”
PROPOSITIONAL CALCULUS
calculus?
PROPOSITIONAL CALCULUS
A proposition is a complete
declarative sentence that is either
TRUE or FALSE, but not both.
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
EXERCISES
Identify if the following
sentences are propositions.
1) Is it time already?
2) Pay attention to this.
3) π‘₯ + 1 = 2
4) π‘₯ + 𝑦 = 𝑧
Propositions are usually
denoted by capital
letters of the English
alphabet.
(But most of the time we
use P,Q,R,S and T)
If a proposition 𝑃 is true, its truth value
is π‘‘π‘Ÿπ‘’π‘’, and is usually denoted by 𝑇.
If it is false, its truth value if
π‘“π‘Žπ‘™π‘ π‘’ denoted by 𝐹.
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.
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.
CONNECTIVES AND COMPOUND
PROPOSITIONS
Combinations of propositions using
propositional connectives are called
compound proposition.
PROPOSITIONAL CONNECTIVES
∧ conjunction (and)
∨ disjunction (or )
⨁ 𝑒π‘₯𝑐𝑙𝑒𝑠𝑖𝑣𝑒 π‘œπ‘Ÿ
β‡’ implication (implies)
⇔ π‘π‘–π‘π‘œπ‘›π‘‘π‘–π‘‘π‘–π‘œπ‘›π‘Žπ‘™ π’Šπ’‡ 𝒂𝒏𝒅 π’π’π’π’š π’Šπ’‡
Β¬ π‘›π‘’π‘”π‘Žπ‘‘π‘–π‘œπ‘› (𝒏𝒐𝒕)
EXAMPLES
𝑷 : Alyssa is sleeping.
𝑸 : Matthew is noisy.
𝑹 : Kyla is late in her class.
What does the following stand for?
1) 𝑃 ∧ 𝑅
2) ¬𝑄 β‡’ 𝑃
3) 𝑄 ∨ 𝑅
If propositions have their
truth values?
What the truth value of a
compound proposition?
NEGATION OF A PROPOSITION
𝑷 ¬𝑷
T F
F T
The negation of a proposition 𝑃 is denoted
by ¬𝑃 and is read as β€œnot 𝑃”.
Truth Table
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.
CONJUNCTION OF PROPOSITIONS
The proposition β€œπ‘ƒ and 𝑄”, denoted by
𝑷 ∧ 𝑸,
is called the conjunction of 𝑃 and 𝑄.
TRUTH VALUE OF 𝑷 ∧ 𝑸
𝑷 𝑸 𝑷 ∧ 𝑸
T T T
T F F
F T F
F F F
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.
DISJUNCTION: INCLUSIVE β€œOR”
The proposition β€œπ‘ƒ or 𝑄”, denoted by
𝑷 ∨ 𝑸,
is called the disjunction of 𝑃 or 𝑄. This is also
referred to as the inclusive β€œor”.
TRUTH VALUE OF 𝑷 ∨ 𝑸
𝑷 𝑸 𝑷 ∨ 𝑸
T T T
T F T
F T T
F F F
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.
DISJUNCTION: EXCLUSIVE β€œOR”
The proposition β€œπ‘ƒ or 𝑄 but not both”, denoted
by
𝑷⨁𝑸.
This is also referred to as the β€œexclusive or”.
TRUTH VALUE OF 𝑷⨁𝑸
𝑷 𝑸 𝑷⨁𝑸
T T F
T F T
F T T
F F F
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 𝑷”
THE COMPOUND PROPOSITION
𝑷 ⟹ 𝑸
Also called the conditional statement.
𝑷 ⟹ 𝑸
Hypothesis
Antecedent
Premise
Conclusion
Consequence
THE MANY NAMES OF 𝑷 ⟹ 𝑸
TRUTH VALUE OF 𝑷 ⟹ 𝑸
𝑷 𝑸 𝑷 ⟹ 𝑸
T T T
T F F
F T T
F F T
EXAMPLE
𝑷: It is raining very hard today.
𝑸: Classes are suspended.
𝑷 β‡’ 𝑸: If it is raining very hard today,
then classes are suspended.
TOO MANY TABLES….
PROPOSITIONS RELATED TO
𝑷 ⟹ 𝑸
CONVERSE CONTRAPOSITVE INVERS
E
RELATED IMPLICATION: CONVERSE
The converse of the proposition
β€œIf 𝑃, then 𝑄”
is the proposition
β€œIf 𝑄, then 𝑃”.
In symbols, the converse of
𝑃 β‡’ 𝑄 is 𝑄 β‡’ 𝑃.
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
RELATED IMPLICATION:
CONTRAPOSITIVE
The contrapositive of the proposition
β€œIf 𝑃, then 𝑄”
is the proposition
β€œIf not 𝑄, then not 𝑃”.
In symbols, the contrapositive of
𝑷 β‡’ 𝑸 is ¬𝑸 β‡’ ¬𝑷.
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
RELATED IMPLICATION: INVERSE
The inverse of the proposition
β€œIf 𝑃, then 𝑄”
is the proposition
β€œIf not 𝑃, then not 𝑄”.
In symbols, the inverse of
𝑃 β‡’ 𝑄 is ¬𝑃 β‡’ ¬𝑄.
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
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 𝑄”
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
How can you determine
the number of rows in a
truth table?
Counting
Technique!!
Statistics
ALERT!!
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
TIPS IN CONSTRUCTING
TRUTH TABLES
See the
pattern?
EXERCISES
Let 𝑃 and 𝑄 be the propositions
𝑷 β€œI am a Math major.”
𝑸 β€œI love Mathematics.”
WHAT'S THE TRUTH TABLE FOR
¬𝑷 ∨ 𝑸
𝑷 𝑸 ¬𝑷 ¬𝑷 ∨ 𝑸
TAUTOLOGY, CONTRADICTION AND
CONTINGENCY
β€’A compound proposition that is
ALWAYS true – TAUTOLOGY
ALWAYS false – CONTRADICTION
SOMETIMES true – CONTINGENCY
EXAMPLE
β€’Consider the following propositions and
determine if it is a tautology, contradiction or
a contingency.
1. 𝑝 ∨ ¬𝑝
2. 𝑝 ∧ ¬𝑝
LOGICALLY EQUIVALENT
β€’β€œTwo propositions 𝑝, π‘ž are logically
equivalent if 𝑝 ⟺ π‘ž is a tautology.”
Show that Β¬(𝑝 ∨ π‘ž) and ¬𝑝 ∧ Β¬π‘ž are
logically equivalent.
SOME LOGICAL EQUIVALENCES
Logical Equivalence Name
𝑝 ∧ 𝑻 ⟺ 𝑝
IDENTITY LAWS
𝑝 ∨ 𝑭 ⟺ 𝑝
𝑝 ∨ 𝑻 ⟺ 𝑻
DOMINATION LAWS
𝑝 ∧ 𝑭 ⟺ 𝑭
𝑝 ∧ 𝑝 ⟺ 𝑝 IDEMPOTENT LAWS
Β¬(¬𝑝) ⟺ 𝑝 DOUBLE NEGATION
SOME LOGICAL EQUIVALENCES
Logical Equivalence Name
𝑝 ∧ π‘ž ⟺ π‘ž ∧ 𝑝
COMMUTATIVE LAWS
𝑝 ∨ π‘ž ⟺ π‘ž ∨ 𝑝
(𝑝 ∧ π‘ž) ∧ π‘Ÿ ⟺ 𝑝 ∧ (π‘ž ∧ π‘Ÿ)
ASSOCIATIVE LAWS
(𝑝 ∨ π‘ž) ∨ π‘Ÿ ⟺ 𝑝 ∨ (π‘ž ∨ π‘Ÿ)
𝑝 ∨ (π‘ž ∧ π‘Ÿ) ⟺ (𝑝 ∨ π‘ž) ∧ (𝑝 ∨ π‘Ÿ)
DISTRIBUTIVE LAWS
𝑝 ∧ (π‘ž ∨ π‘Ÿ) ⟺ (𝑝 ∧ π‘ž) ∨ (𝑝 ∧ π‘Ÿ)
Β¬(𝑝 ∧ π‘ž) ⟺ ¬𝑝 ∨ Β¬π‘ž
DE MORGAN’S LAW
Β¬(𝑝 ∨ π‘ž) ⟺ ¬𝑝 ∧ Β¬π‘ž
ON IMPLICATIONS
‒𝑝 β‡’ π‘ž
Hypothesis Conclusion
CONVERSE:
π‘ž β‡’ 𝑝
INVERSE:
¬𝑝 β‡’ Β¬π‘ž
CONTRAPOSITIVE:
Β¬π‘ž β‡’ ¬𝑝
β€œAn implication is always logically equivalent to
its own contrapositive.”
WHEN IS MATHEMATICAL
REASONING CORRECT?
Deductiv
e
Reasonin
g
Inductive
Reasonin
g
MATHEMATICAL JARGONS
THEOREM
PROOF
AXIOM
RULES OF INFERENCE
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)
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.
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.
TYPES OF FALLACIES
Fallacy of affirming conclusion
Fallacy of denying the hypothesis
Begging the question or circular reasoning
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!
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!
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.

More Related Content

Similar to Math in the modern world math as a language.pptx

On a certain family of meromorphic p valent functions
On a certain family of meromorphic p  valent functionsOn a certain family of meromorphic p  valent functions
On a certain family of meromorphic p valent functionsAlexander Decker
Β 
Lecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptxLecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptxHomer53
Β 
Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docx
Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docxChapter 1 Logic and ProofPropositional Logic SemanticsPropo.docx
Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docxcravennichole326
Β 
What is a paired samples t test
What is a paired samples t testWhat is a paired samples t test
What is a paired samples t testKen Plummer
Β 
variance ( STAT).pptx
variance ( STAT).pptxvariance ( STAT).pptx
variance ( STAT).pptxMarkMontederamos
Β 
All you Need to Know about Deductive Reasoning
All you Need to Know about Deductive ReasoningAll you Need to Know about Deductive Reasoning
All you Need to Know about Deductive ReasoningSamantha A. Walters
Β 
maths module social science.pdf
maths module social science.pdfmaths module social science.pdf
maths module social science.pdfShwaBeli
Β 
Discrete Mathematics
Discrete MathematicsDiscrete Mathematics
Discrete MathematicsJihudumie.Com
Β 
Discrete Structure vs Discrete Mathematics
Discrete Structure vs Discrete MathematicsDiscrete Structure vs Discrete Mathematics
Discrete Structure vs Discrete MathematicsAbdulRehman378540
Β 
Lecture 2 fuzzy inference system
Lecture 2  fuzzy inference systemLecture 2  fuzzy inference system
Lecture 2 fuzzy inference systemParveenMalik18
Β 
1.1 sets, statements, and reasoning
1.1 sets, statements, and reasoning1.1 sets, statements, and reasoning
1.1 sets, statements, and reasoningsadhwani37
Β 
Essential Biology E3 Innate and Learned Behaviour
Essential Biology E3 Innate and Learned BehaviourEssential Biology E3 Innate and Learned Behaviour
Essential Biology E3 Innate and Learned BehaviourStephen Taylor
Β 
4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptxBongisipho Hlophe
Β 

Similar to Math in the modern world math as a language.pptx (20)

On a certain family of meromorphic p valent functions
On a certain family of meromorphic p  valent functionsOn a certain family of meromorphic p  valent functions
On a certain family of meromorphic p valent functions
Β 
BICONDITIONAL STATEMENTS.pptx
BICONDITIONAL STATEMENTS.pptxBICONDITIONAL STATEMENTS.pptx
BICONDITIONAL STATEMENTS.pptx
Β 
1. Probability.pdf
1. Probability.pdf1. Probability.pdf
1. Probability.pdf
Β 
Lecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptxLecture_3_Chapter_1_Lesson_1.2.pptx
Lecture_3_Chapter_1_Lesson_1.2.pptx
Β 
AppTheories_L3
AppTheories_L3AppTheories_L3
AppTheories_L3
Β 
Fuzzy logic
Fuzzy logicFuzzy logic
Fuzzy logic
Β 
Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docx
Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docxChapter 1 Logic and ProofPropositional Logic SemanticsPropo.docx
Chapter 1 Logic and ProofPropositional Logic SemanticsPropo.docx
Β 
What is a paired samples t test
What is a paired samples t testWhat is a paired samples t test
What is a paired samples t test
Β 
variance ( STAT).pptx
variance ( STAT).pptxvariance ( STAT).pptx
variance ( STAT).pptx
Β 
All you Need to Know about Deductive Reasoning
All you Need to Know about Deductive ReasoningAll you Need to Know about Deductive Reasoning
All you Need to Know about Deductive Reasoning
Β 
maths module social science.pdf
maths module social science.pdfmaths module social science.pdf
maths module social science.pdf
Β 
Discrete Mathematics
Discrete MathematicsDiscrete Mathematics
Discrete Mathematics
Β 
Logic.pdf
Logic.pdfLogic.pdf
Logic.pdf
Β 
Discrete Structure vs Discrete Mathematics
Discrete Structure vs Discrete MathematicsDiscrete Structure vs Discrete Mathematics
Discrete Structure vs Discrete Mathematics
Β 
Lecture 2 fuzzy inference system
Lecture 2  fuzzy inference systemLecture 2  fuzzy inference system
Lecture 2 fuzzy inference system
Β 
1.1 sets, statements, and reasoning
1.1 sets, statements, and reasoning1.1 sets, statements, and reasoning
1.1 sets, statements, and reasoning
Β 
Essential Biology E3 Innate and Learned Behaviour
Essential Biology E3 Innate and Learned BehaviourEssential Biology E3 Innate and Learned Behaviour
Essential Biology E3 Innate and Learned Behaviour
Β 
1. Logic.pptx
1. Logic.pptx1. Logic.pptx
1. Logic.pptx
Β 
Lec6
Lec6Lec6
Lec6
Β 
4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx
Β 

More from JayLagman3

CO2 slope of the line mathematics 8.pptx
CO2 slope of the line mathematics 8.pptxCO2 slope of the line mathematics 8.pptx
CO2 slope of the line mathematics 8.pptxJayLagman3
Β 
triangle inequalities theorems .ppt
triangle inequalities theorems      .ppttriangle inequalities theorems      .ppt
triangle inequalities theorems .pptJayLagman3
Β 
math 8 triangle inequalities theorem .ppt
math 8 triangle inequalities theorem .pptmath 8 triangle inequalities theorem .ppt
math 8 triangle inequalities theorem .pptJayLagman3
Β 
triangle inequalities theorem mathematics 8
triangle inequalities theorem mathematics 8triangle inequalities theorem mathematics 8
triangle inequalities theorem mathematics 8JayLagman3
Β 
Structural Learning Theory (Math 102).pdf
Structural Learning Theory (Math 102).pdfStructural Learning Theory (Math 102).pdf
Structural Learning Theory (Math 102).pdfJayLagman3
Β 
PH_Geo_4-1_Congruent_Figures_[1] (2).ppt
PH_Geo_4-1_Congruent_Figures_[1] (2).pptPH_Geo_4-1_Congruent_Figures_[1] (2).ppt
PH_Geo_4-1_Congruent_Figures_[1] (2).pptJayLagman3
Β 
Learning Theory 202021 students .ppt
Learning Theory 202021 students       .pptLearning Theory 202021 students       .ppt
Learning Theory 202021 students .pptJayLagman3
Β 
EAA - table of specifications (tos).pptx
EAA - table of specifications (tos).pptxEAA - table of specifications (tos).pptx
EAA - table of specifications (tos).pptxJayLagman3
Β 
Modular Arithmetic and congruence of integers.ppt
Modular Arithmetic and congruence of integers.pptModular Arithmetic and congruence of integers.ppt
Modular Arithmetic and congruence of integers.pptJayLagman3
Β 
Cyclic Groups and Subgroups in abstract algebra.ppt
Cyclic Groups and Subgroups in abstract algebra.pptCyclic Groups and Subgroups in abstract algebra.ppt
Cyclic Groups and Subgroups in abstract algebra.pptJayLagman3
Β 
the integral test in calculus iii.pptx
the  integral  test  in  calculus iii.pptxthe  integral  test  in  calculus iii.pptx
the integral test in calculus iii.pptxJayLagman3
Β 
solving linear system by elimination method.pptx
solving linear system by elimination method.pptxsolving linear system by elimination method.pptx
solving linear system by elimination method.pptxJayLagman3
Β 
Elementary Properties of Groups .ppt
Elementary   Properties  of  Groups  .pptElementary   Properties  of  Groups  .ppt
Elementary Properties of Groups .pptJayLagman3
Β 
Propositional-equivalence and formalization.pptx
Propositional-equivalence and formalization.pptxPropositional-equivalence and formalization.pptx
Propositional-equivalence and formalization.pptxJayLagman3
Β 
proposition, truth tables and tautology.pptx
proposition, truth tables and tautology.pptxproposition, truth tables and tautology.pptx
proposition, truth tables and tautology.pptxJayLagman3
Β 
behaviorism and the teaching of mathematics.pptx
behaviorism and the teaching of mathematics.pptxbehaviorism and the teaching of mathematics.pptx
behaviorism and the teaching of mathematics.pptxJayLagman3
Β 
behaviorism in teaching mathematics.pptx
behaviorism in teaching mathematics.pptxbehaviorism in teaching mathematics.pptx
behaviorism in teaching mathematics.pptxJayLagman3
Β 
Cayley Table (Multiplication table of Group).pptx
Cayley Table (Multiplication table of Group).pptxCayley Table (Multiplication table of Group).pptx
Cayley Table (Multiplication table of Group).pptxJayLagman3
Β 
Mathematics in the intermediate grades.pptx
Mathematics in the intermediate grades.pptxMathematics in the intermediate grades.pptx
Mathematics in the intermediate grades.pptxJayLagman3
Β 
mathematics ppt presentation theme.pptx
mathematics  ppt presentation theme.pptxmathematics  ppt presentation theme.pptx
mathematics ppt presentation theme.pptxJayLagman3
Β 

More from JayLagman3 (20)

CO2 slope of the line mathematics 8.pptx
CO2 slope of the line mathematics 8.pptxCO2 slope of the line mathematics 8.pptx
CO2 slope of the line mathematics 8.pptx
Β 
triangle inequalities theorems .ppt
triangle inequalities theorems      .ppttriangle inequalities theorems      .ppt
triangle inequalities theorems .ppt
Β 
math 8 triangle inequalities theorem .ppt
math 8 triangle inequalities theorem .pptmath 8 triangle inequalities theorem .ppt
math 8 triangle inequalities theorem .ppt
Β 
triangle inequalities theorem mathematics 8
triangle inequalities theorem mathematics 8triangle inequalities theorem mathematics 8
triangle inequalities theorem mathematics 8
Β 
Structural Learning Theory (Math 102).pdf
Structural Learning Theory (Math 102).pdfStructural Learning Theory (Math 102).pdf
Structural Learning Theory (Math 102).pdf
Β 
PH_Geo_4-1_Congruent_Figures_[1] (2).ppt
PH_Geo_4-1_Congruent_Figures_[1] (2).pptPH_Geo_4-1_Congruent_Figures_[1] (2).ppt
PH_Geo_4-1_Congruent_Figures_[1] (2).ppt
Β 
Learning Theory 202021 students .ppt
Learning Theory 202021 students       .pptLearning Theory 202021 students       .ppt
Learning Theory 202021 students .ppt
Β 
EAA - table of specifications (tos).pptx
EAA - table of specifications (tos).pptxEAA - table of specifications (tos).pptx
EAA - table of specifications (tos).pptx
Β 
Modular Arithmetic and congruence of integers.ppt
Modular Arithmetic and congruence of integers.pptModular Arithmetic and congruence of integers.ppt
Modular Arithmetic and congruence of integers.ppt
Β 
Cyclic Groups and Subgroups in abstract algebra.ppt
Cyclic Groups and Subgroups in abstract algebra.pptCyclic Groups and Subgroups in abstract algebra.ppt
Cyclic Groups and Subgroups in abstract algebra.ppt
Β 
the integral test in calculus iii.pptx
the  integral  test  in  calculus iii.pptxthe  integral  test  in  calculus iii.pptx
the integral test in calculus iii.pptx
Β 
solving linear system by elimination method.pptx
solving linear system by elimination method.pptxsolving linear system by elimination method.pptx
solving linear system by elimination method.pptx
Β 
Elementary Properties of Groups .ppt
Elementary   Properties  of  Groups  .pptElementary   Properties  of  Groups  .ppt
Elementary Properties of Groups .ppt
Β 
Propositional-equivalence and formalization.pptx
Propositional-equivalence and formalization.pptxPropositional-equivalence and formalization.pptx
Propositional-equivalence and formalization.pptx
Β 
proposition, truth tables and tautology.pptx
proposition, truth tables and tautology.pptxproposition, truth tables and tautology.pptx
proposition, truth tables and tautology.pptx
Β 
behaviorism and the teaching of mathematics.pptx
behaviorism and the teaching of mathematics.pptxbehaviorism and the teaching of mathematics.pptx
behaviorism and the teaching of mathematics.pptx
Β 
behaviorism in teaching mathematics.pptx
behaviorism in teaching mathematics.pptxbehaviorism in teaching mathematics.pptx
behaviorism in teaching mathematics.pptx
Β 
Cayley Table (Multiplication table of Group).pptx
Cayley Table (Multiplication table of Group).pptxCayley Table (Multiplication table of Group).pptx
Cayley Table (Multiplication table of Group).pptx
Β 
Mathematics in the intermediate grades.pptx
Mathematics in the intermediate grades.pptxMathematics in the intermediate grades.pptx
Mathematics in the intermediate grades.pptx
Β 
mathematics ppt presentation theme.pptx
mathematics  ppt presentation theme.pptxmathematics  ppt presentation theme.pptx
mathematics ppt presentation theme.pptx
Β 

Recently uploaded

Employee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxEmployee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxNirmalaLoungPoorunde1
Β 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology  ( Production , Purification , and Application  ) Hybridoma Technology  ( Production , Purification , and Application  )
Hybridoma Technology ( Production , Purification , and Application ) Sakshi Ghasle
Β 
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxContemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxRoyAbrique
Β 
18-04-UA_REPORT_MEDIALITERAΠ‘Y_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAΠ‘Y_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAΠ‘Y_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAΠ‘Y_INDEX-DM_23-1-final-eng.pdfssuser54595a
Β 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactPECB
Β 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdfQucHHunhnh
Β 
Student login on Anyboli platform.helpin
Student login on Anyboli platform.helpinStudent login on Anyboli platform.helpin
Student login on Anyboli platform.helpinRaunakKeshri1
Β 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdfQucHHunhnh
Β 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionSafetyChain Software
Β 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesFatimaKhan178732
Β 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...EduSkills OECD
Β 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityGeoBlogs
Β 
Privatization and Disinvestment - Meaning, Objectives, Advantages and Disadva...
Privatization and Disinvestment - Meaning, Objectives, Advantages and Disadva...Privatization and Disinvestment - Meaning, Objectives, Advantages and Disadva...
Privatization and Disinvestment - Meaning, Objectives, Advantages and Disadva...RKavithamani
Β 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docxPoojaSen20
Β 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxheathfieldcps1
Β 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfsanyamsingh5019
Β 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
Β 

Recently uploaded (20)

Employee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptxEmployee wellbeing at the workplace.pptx
Employee wellbeing at the workplace.pptx
Β 
Hybridoma Technology ( Production , Purification , and Application )
Hybridoma Technology  ( Production , Purification , and Application  ) Hybridoma Technology  ( Production , Purification , and Application  )
Hybridoma Technology ( Production , Purification , and Application )
Β 
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptxContemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Contemporary philippine arts from the regions_PPT_Module_12 [Autosaved] (1).pptx
Β 
18-04-UA_REPORT_MEDIALITERAΠ‘Y_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAΠ‘Y_INDEX-DM_23-1-final-eng.pdf18-04-UA_REPORT_MEDIALITERAΠ‘Y_INDEX-DM_23-1-final-eng.pdf
18-04-UA_REPORT_MEDIALITERAΠ‘Y_INDEX-DM_23-1-final-eng.pdf
Β 
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global ImpactBeyond the EU: DORA and NIS 2 Directive's Global Impact
Beyond the EU: DORA and NIS 2 Directive's Global Impact
Β 
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Mattingly "AI & Prompt Design: Structured Data, Assistants, & RAG"
Β 
1029-Danh muc Sach Giao Khoa khoi 6.pdf
1029-Danh muc Sach Giao Khoa khoi  6.pdf1029-Danh muc Sach Giao Khoa khoi  6.pdf
1029-Danh muc Sach Giao Khoa khoi 6.pdf
Β 
Student login on Anyboli platform.helpin
Student login on Anyboli platform.helpinStudent login on Anyboli platform.helpin
Student login on Anyboli platform.helpin
Β 
Staff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSDStaff of Color (SOC) Retention Efforts DDSD
Staff of Color (SOC) Retention Efforts DDSD
Β 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
Β 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory Inspection
Β 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and Actinides
Β 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Β 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activity
Β 
Privatization and Disinvestment - Meaning, Objectives, Advantages and Disadva...
Privatization and Disinvestment - Meaning, Objectives, Advantages and Disadva...Privatization and Disinvestment - Meaning, Objectives, Advantages and Disadva...
Privatization and Disinvestment - Meaning, Objectives, Advantages and Disadva...
Β 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docx
Β 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptx
Β 
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptxINDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
Β 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
Β 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Β 

Math in the modern world math as a language.pptx

  • 1. MATHEMATICS AS A LANGUAGE Mathematics in the Modern World MATH 100 AY 2023-2024
  • 3. 1 βˆ— 1 = 1 11 βˆ— 11 = 121 111 βˆ— 111 = 12,321 1,111 βˆ— 1,111 = 1,234,321 11,111 βˆ— 11,111 = 123,454,321 111,111 βˆ— 111,111 = ? ? ? ? WHAT’S NEXT? ANSWER : 12,345,654,321
  • 4. WHAT’S NEXT? 1 3 15 7 31 ANSWER : 1 = 21 βˆ’ 1 3 = 22 βˆ’ 1 7 = 23 βˆ’ 1 15 = 24 βˆ’ 1 31 = 25 βˆ’ 1 IS THIS THE ONLY EXPLANATION?
  • 6. WHAT’S THE PATTERN IN THE GIVEN SET OF EQUATIONS?
  • 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
  • 12. ELEMENTS OF THE MATHEMATICAL LANGUAGE 0123456789 Β±Γ—Γ· ∞ =β‰  ~ <β‰₯β‰€βˆ“β‰… ≑ βˆ€ 4 βˆͺ ∩ βˆ… % βˆƒ βˆ„ ∈ βˆ‹ 𝛼 𝛽 𝛾 𝛿 πœ€ πœ– πœƒ πœ— πœ‹ πœ‡ 𝜌 𝜎 𝜏 πœ‘ πœ”
  • 14. PROPOSITIONAL CALCULUS A proposition is a complete declarative sentence that is either TRUE or FALSE, but not both.
  • 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) π‘₯ + 𝑦 = 𝑧
  • 17. Propositions are usually denoted by capital letters of the English alphabet. (But most of the time we use P,Q,R,S and T)
  • 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.
  • 21. CONNECTIVES AND COMPOUND PROPOSITIONS Combinations of propositions using propositional connectives are called compound proposition.
  • 22. PROPOSITIONAL CONNECTIVES ∧ conjunction (and) ∨ disjunction (or ) ⨁ 𝑒π‘₯𝑐𝑙𝑒𝑠𝑖𝑣𝑒 π‘œπ‘Ÿ β‡’ implication (implies) ⇔ π‘π‘–π‘π‘œπ‘›π‘‘π‘–π‘‘π‘–π‘œπ‘›π‘Žπ‘™ π’Šπ’‡ 𝒂𝒏𝒅 π’π’π’π’š π’Šπ’‡ Β¬ π‘›π‘’π‘”π‘Žπ‘‘π‘–π‘œπ‘› (𝒏𝒐𝒕)
  • 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
  • 37. THE MANY NAMES OF 𝑷 ⟹ 𝑸
  • 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.
  • 41. PROPOSITIONS RELATED TO 𝑷 ⟹ 𝑸 CONVERSE CONTRAPOSITVE INVERS E
  • 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
  • 52. TIPS IN CONSTRUCTING TRUTH TABLES See the pattern?
  • 53. EXERCISES Let 𝑃 and 𝑄 be the propositions 𝑷 β€œI am a Math major.” 𝑸 β€œI love Mathematics.”
  • 54. WHAT'S THE TRUTH TABLE FOR ¬𝑷 ∨ 𝑸 𝑷 𝑸 ¬𝑷 ¬𝑷 ∨ 𝑸
  • 55. TAUTOLOGY, CONTRADICTION AND CONTINGENCY β€’A compound proposition that is ALWAYS true – TAUTOLOGY ALWAYS false – CONTRADICTION SOMETIMES true – CONTINGENCY
  • 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.
  • 58. SOME LOGICAL EQUIVALENCES Logical Equivalence Name 𝑝 ∧ 𝑻 ⟺ 𝑝 IDENTITY LAWS 𝑝 ∨ 𝑭 ⟺ 𝑝 𝑝 ∨ 𝑻 ⟺ 𝑻 DOMINATION LAWS 𝑝 ∧ 𝑭 ⟺ 𝑭 𝑝 ∧ 𝑝 ⟺ 𝑝 IDEMPOTENT LAWS Β¬(¬𝑝) ⟺ 𝑝 DOUBLE NEGATION
  • 59. SOME LOGICAL EQUIVALENCES Logical Equivalence Name 𝑝 ∧ π‘ž ⟺ π‘ž ∧ 𝑝 COMMUTATIVE LAWS 𝑝 ∨ π‘ž ⟺ π‘ž ∨ 𝑝 (𝑝 ∧ π‘ž) ∧ π‘Ÿ ⟺ 𝑝 ∧ (π‘ž ∧ π‘Ÿ) ASSOCIATIVE LAWS (𝑝 ∨ π‘ž) ∨ π‘Ÿ ⟺ 𝑝 ∨ (π‘ž ∨ π‘Ÿ) 𝑝 ∨ (π‘ž ∧ π‘Ÿ) ⟺ (𝑝 ∨ π‘ž) ∧ (𝑝 ∨ π‘Ÿ) DISTRIBUTIVE LAWS 𝑝 ∧ (π‘ž ∨ π‘Ÿ) ⟺ (𝑝 ∧ π‘ž) ∨ (𝑝 ∧ π‘Ÿ) Β¬(𝑝 ∧ π‘ž) ⟺ ¬𝑝 ∨ Β¬π‘ž DE MORGAN’S LAW Β¬(𝑝 ∨ π‘ž) ⟺ ¬𝑝 ∧ Β¬π‘ž
  • 60. ON IMPLICATIONS ‒𝑝 β‡’ π‘ž Hypothesis Conclusion CONVERSE: π‘ž β‡’ 𝑝 INVERSE: ¬𝑝 β‡’ Β¬π‘ž CONTRAPOSITIVE: Β¬π‘ž β‡’ ¬𝑝 β€œAn implication is always logically equivalent to its own contrapositive.”
  • 61. WHEN IS MATHEMATICAL REASONING CORRECT? Deductiv e Reasonin g Inductive Reasonin g
  • 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

  1. 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.
  2. Mention that we see these kinds of logic questions in entrance exams? Or in some IQ Tests.
  3. Now that your brain muscles are all warmed up!!
  4. Ask the class who knows the following languages? Chinese/Japanese/Korean? Ask them how they learned these languages?
  5. Point out that all these components are found in mathematics
  6. Emphasize the comparison between the English Language and Mathematical Language used in Algebra
  7. 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..
  8. Mention that the term calculus just means – β€œa particular method or system of calculation or reasoning”
  9. Ask the each section to provide an example of a proposition.
  10. Propositions 1) and 4) are TRUE while 2, 3 and 5 are FALSE.
  11. 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.
  12. Mention that in Propositional calculus / Mathematical reasoning, Propositions are just like the alphabet of the English language.
  13. 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.
  14. The conjunction of two propositions is TRUE only if both propositons are TRUE otherwise the conjunction is FALSE
  15. The disjunction of two proposition is FALSE if both are FALSE and TRUE otherwise.
  16. The exclusive or of two proposition is TRUE if the two propositions have different truth values.
  17. 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.
  18. Construct the truth tables for p, q, π‘βˆ¨π‘ž ,Β¬ π‘βˆ¨π‘ž ,¬𝑝,Β¬π‘ž and Β¬π‘βˆ§Β¬π‘ž
  19. Show to the class that the above statement is true by constructing the truth tables of an implication and its contrapositive.
  20. Differentiate Inductive and Deductive Reasoning.
  21. 1) Addition 2) Modus Ponens
  22. 3) Modus tollens 4) Hypothetical Syllogism
  23. Differentiate the three types of fallacies. Wr