02 - Math Language
02 - Math Language
Language and
Symbols
“The laws of nature
are written in the
language of
mathematics.”
- Galileo Galilei
Importance of Language
To understand the expressed ideas
To communicate ideas to others
T T T
T F F
F T F
F F F
P Q 𝑃∨𝑄
T T T
T F T
F T T
F F F
P Q 𝑃⟶𝑄
T T T
T F F
F T T
F F T
P Q 𝑃 𝑄
T T T
T F F
F T F
F F T
P Q 𝑃∧𝑄
P: Today is raining. (True) T T T
T F F
Q: The ground is wet. (True) F T F
F F F
True
P Q 𝑃∧𝑄
P: Today is raining. (True) T T T
T F F
Q: The ground is wet. (False) F T F
F F F
False
P Q 𝑃∧𝑄
P: Today is raining. (False) T T T
T F F
Q: The ground is wet. (True) F T F
F F F
False
P Q 𝑃∧𝑄
P: Today is raining. (False) T T T
T F F
Q: The ground is wet. (False) F T F
F F F
False
P Q 𝑃∨𝑄
P: Today is raining. (True) T T T
Q: The ground is wet. (False) T F T
F T T
F F F
True
P Q 𝑃∨𝑄
P: Today is raining. (False) T T T
Q: The ground is wet. (True) T F T
F T T
F F F
True
P Q 𝑃∨𝑄
P: Today is raining. (False) T T T
Q: The ground is wet. (False) T F T
F T T
F F F
False
P Q 𝑃∨𝑄
P: Today is raining. (True) T T T
Q: The ground is wet. (True) T F T
F T T
F F F
True
P Q 𝑃⟶𝑄
P: Today is raining. (True) T T T
If
today is raining then the ground is
wet.
False
P Q 𝑃⟶𝑄
P: Today is raining. (False) T T T
If
today is raining then the ground is
wet.
True
P Q 𝑃⟶𝑄
P: Today is raining. (False) T T T
If
today is raining then the ground is
wet.
True
P Q 𝑃⟶𝑄
P: Today is raining. (True) T T T
If
today is raining then the ground is
wet.
True
True True P Q 𝑃 𝑄
T T T
Today is raining if and only if the ground is wet. T F F
➢ True F T F
F F T
True False
Today is raining if and only if the ground is wet.
➢ False
False True
Today is raining if and only if the ground is wet.
➢ False
False False
Today is raining if and only if the ground is wet.
➢ True
Quantification
Universal Quantification
▪ “For all” or “For every”
▪ Symbol: ∀
▪ Example: "for every object x in the universe, x > 1", which is
expressed as " ∀x, x > 1”
Existential Quantification
▪ “There exists” or “For some”
▪ Symbol: ∃
▪ Example: “there exists an object x in the universe, x > 1", which is
expressed as "∃x, x > 1"
Express the following in symbolic form.
1. All Students are smart. ∀x (Sx)
2. There exists a student. ∃x
3. There exists a smart student. ∃x (Sx)
4. Every student loves some student.
∀x ∃x (Lx)
References:
http://web.mnstate.edu/peil/MDEV102/U1/S2/Subsets6.htm
https://www.probabilitycourse.com/chapter1/1_2_2_set_operations.php
https://brainly.ph/question/1670468