GE 4 Unit 2 Propositional Logic Discussion
GE 4 Unit 2 Propositional Logic Discussion
COLLEGE OF EDUCATION
MATHEMATICS DEPARTMENT
PROPOSITIONAL
LOGIC
OBJECTIVES
1. Use symbols in expressing logical
statements
2. Construct simple statements and compound
statements and transform in symbolic form.
3. Construct a truth table and identify its truth
values.
4. Translate an argument into logical notation
of propositional functions.
LOGIC
It is a study of language and
reasoning. It is specifically concerned with
whether the reasoning is correct. Its focus
is more on the relationship among
statements rather than the content of any
particular statement.
PROPOSITION
is also known as statement. It is a sentence
that is either true or false, but not both. It is
typically expressed as declarative sentence
as opposed to a question, command, etc.
In symbolic logic, we use variables or letters
such as p, q, r, s, and t to symbolize
proposition.
PROPOSITION
is also known as statement. It is a sentence that is either true or false, but not both. It is
typically expressed as declarative sentence as opposed to a question, command, etc. In
symbolic logic, we use variables or letters such as p, q, r, s, and t to symbolize proposition.
EXAMPLES:
T 1. 𝑝: Sara Duterte is the current vice president
of the Republic of the Philippines.
T 2. 𝑞: An angle measure exactly 180 is a
straight angle.
F 3. 𝑟: The product of 8 and 10 is 18.
F 4. 𝑠: 9 – 5 = 6
PROPOSITION
is also known as statement. It is a sentence that is either true or false, but not both. It is
typically expressed as declarative sentence as opposed to a question, command, etc. In
symbolic logic, we use variables or letters such as p, q, r, s, and t to symbolize proposition.
NOT A PROPOSITION
1. Why are you studying?
2. Come to class!
3. 6x – 9 = 36 If 𝑥 = 3, then 6𝑥 – 9 = 36.
4. Students are excited to learn Mathematics
in the Modern World
Sheldon is excited to learn Mathematics in the Modern World.
Determine w/c of the following is a proposition. Indicate the
reason why or why not.
1. 𝑞: Find a number which divides your age. Not a Proposition
𝑥
2. 𝑢: 𝑓 𝑥 = is a rational function. False Proposition
𝑥+1
3. 𝑝1 : If you are at least 60 years old, then you
are entitled to a Senior Citizen's card, and
if you are entitled to a Senior Citizen's card,
then you are at least 60 years old. True Proposition
4. 𝑟: My seatmate will get a perfect score in the
Logic exam. Proposition (under investigation)
PROPOSITION
is also known as statement. It is a sentence that is either true or false, but not both. It is
typically expressed as declarative sentence as opposed to a question, command, etc. In
symbolic logic, we use variables or letters such as p, q, r, s, and t to symbolize proposition.
p q p→q
T T T
T F F
F T T
F F T
If 𝑝 → 𝑞, then
𝑝 → 𝑞 ≡ ~𝑞 → ~𝑝
𝑞 → 𝑝 is its converse
𝑞 → 𝑝 ≡ ~𝑝 → ~𝑞
~𝑝 → ~𝑞 is its inverse
𝑝 → 𝑞 ≡ ~𝑝 𝑉 𝑞
~𝑞 → ~𝑝 is its contrapositive
𝑝 → 𝑞: If you live in Malinta, then you live in Valenzuela City
𝑞 → 𝑝: If you live in Valenzuela City, then you live in Malinta.
~𝑝 → ~𝑞: If you’re not living in Malinta, then you’re not living in
Valenzuela City.
~𝑞 → ~𝑝: If you’re not living in Valenzuela City, then you’re not
living in Malinta.
BICONDITIONAL PROPOSITION
If 𝑝 and 𝑞 are propositions, the statement “𝑝 if and only if 𝑞” is called
a biconditional proposition.
It is true whenever its components 𝑝 and 𝑞 have the same truth values.
We symbolize by 𝑝 ↔ 𝑞.
EXAMPLES:
1. p: A citizen is eligible to vote.
q: A citizen is at least 18 years old.
p ↔ q: A citizen is eligible to vote if and only if
he is at least 18 years old.
EXAMPLES: p q pq
2. a: You are my biological brother. T T T
b: We have the same parents. T F F
a ↔ b:You are my biological brother if F T F
and only if we have the same parents. F F T
Hector will walk the dog or Anthony will wash the dishes.
𝑏∨𝑐
Symbolize the following propositions using the
symbols stated below.
𝑎: Hector will clean his room.
𝑏: Hector will walk the dog.
𝑐: Anthony will wash the dishes.
𝑑: Emman will cook our dinner.
𝑒: Emman will scold us.
Anthony will not wash the dishes and Hector will walk the dog
or he will clean his room.
~𝑐 ∧ (𝑏 ∨ 𝑎)
Symbolize the following propositions using the
symbols stated below.
𝑎: Hector will clean his room.
𝑏: Hector will walk the dog.
𝑐: Anthony will wash the dishes.
𝑑: Emman will cook our dinner.
𝑒: Emman will scold us.
If Hector will not clean his room and will just walk the dog then
definitely Emman will scold us.
(~𝑎 ∧ 𝑏) → 𝑒
TAUTOLOGY,
CONTRADICTION, AND
CONTINGENCY
The formula in for the possible number of arrangements is
2n, where n is the number of simple proposition.
21 22 23
p q r
TRUTH p
p
T
q
T
T
T
T
T
T
F
T T F T F T
TABLE F F
F
T
F
T
F
F
T
F
T
F T F
F F T
F F F
TAUTOLOGY
Tautology originated from the Greek words “tauto”
which means the same and “logos” which means idea or
word. Tautology is defined as the repetitive use of
phrases or words which have similar meanings.
A compound proposition that is always true, no matter
what the truth values of the propositions that occur in it,
is a tautology.
CONTRADICTION
Contradiction, in Logic, is known as Fallacy
originated from the Latin term “fallare” which
means to device. It refers to errors or mistakes in
belief, reasoning process or an argument that
has insufficient evidence for its conclusion.
A compound proposition that is always false is
called a contradiction.
CONTINGENCY
A proposition that is
neither a tautology nor a
contradiction is called
contingency.
TAUTOLOGY CONTRADICTION
p p p p
𝑝 ~𝑝 𝑝 ~𝑝 𝑝 ~𝑝 𝑝 ~𝑝
T F T T F F
F T T F T F
CONTIGENCY
p q pq
T T T
p q pq T F F
T T T F T F
T F T F F F
F T T
F F F
Determine whether each of the following compound proposition is
a tautology, contradiction or contingency.
If 8 is even then 49 is a multiple of 7, and 8 is even but 49 is not a
multiple of 7.
𝑎: 8 is even
𝑏: 49 is a multiple of 7
𝒂 → 𝒃 ∧ 𝒂 ∧ ~𝒃 CONTRADICTION
a b ~𝑏 𝑎→𝑏 𝑎 ∧ ~𝑏 𝒂 → 𝒃 ∧ 𝒂 ∧ ~𝒃
T T F T F F
T F T F T F
F T F T F F
F F T T F F
Determine whether each of the following compound proposition is
a tautology, contradiction or contingency.
p → [q → (p q)]
p q pq q → (p q) p → [q → (p q)]
T T T T T
T F F T T
F T F F T
F F F T T
TAUTOLOGY
Determine whether each of the following compound proposition is
a tautology, contradiction or contingency.
p → (q r) CONTINGENCY
p q r qr p → (q
r)
T T T T T
T T F T T
T F T T T
T F F F F
F T T T T
F T F T T
F F T T T
F F F F T
QUANTIFIERS
It is a language element that helps in generation of a quantification,
which is a construct that mentions the number of specimens in the given
domain of discourse satisfying a given open formula.
Illustration:
1. 𝑝: Some movies are worth the price of admission.
~𝑝:No movie is worth the price of admission.
Illustration:
1. 𝑝: No smartphone is expensive.
~𝑝: Most smartphones are expensive.
Illustration:
1. 𝑝: Some students are not capable of having an online class.
~𝑝: All students are capable of having an online class.
Illustration:
1. 𝑝: Everyone in this class is good in math.
~𝑝: Some in this class are not good in math.