Topic 5
Topic 5
TOPIC NO. 5
GED141 –Mathematics in the
Modern World
TRUTH TABLE
Prof. Edgar G. Canda
Review
Topic 4
A. Determine whether the given statement is a proposition
or not and why?
1. “Look out!”
2. “How far is it to the next town?
3. “x + 2 = 2x”
4. “x + 2 = 2x when x = −2”
5. PLMar offering BSN program.
6. Where is the location of new building of PLMar?
B. Write the given propositions in symbols. Write your
correct answer in the space provided before each number.
N^
M
B. Write the combined propositions in symbols.
e v
m
or
EVM
B. Write the combined propositions in symbols.
R => A
B. Write the combined propositions in symbols.
GH
C. Write the given logical symbols in logical propositions.
Write your answer on the space provided after the given
symbols.
p : x is an even number
q : y is an odd number
r : z is a prime number
s : u is a composite number.
1. p^q
2. p => ~ q
3. ~r => ~ s
4. ~r(p^q)
5. ( ~ q => r) s
B. Write the given logical symbols in logical propositions.
Write your answer on the space provided after the given
symbols.
p : x is an even number
q : y is an odd number
r : z is a prime number
s : u is a composite number.
1. p ^ q :
B. Write the given logical symbols in logical propositions.
Write your answer on the space provided after the given
symbols.
p : x is an even number
q : y is an odd number
r : z is a prime number
s : u is a composite number.
2. p => ~ q :
B. Write the given logical symbols in logical propositions.
Write your answer on the space provided after the given
symbols.
p : x is an even number
q : y is an odd number
r : z is a prime number
s : u is a composite number.
3. ~r => ~ s :
B. Write the given logical symbols in logical propositions.
Write your answer on the space provided after the given
symbols.
p : x is an even number
q : y is an odd number
r : z is a prime number
s : u is a composite number.
4. ~ r <=> ( p ^ q ) :
Z is not a prime number if and only if x is an
even number and y is an odd number
B. Write the given logical symbols in logical propositions.
Write your answer on the space provided after the given
symbols.
p : x is an even number
q : y is an odd number
r : z is a prime number
s : u is a composite number.
5. ( ~ q => r) s
TRUTH TABLE
Learning Objectives:
Disjunction ∨ Or (either)
1) NEGATION (¬)
Given Question
P ¬P
T __
F __
TRUTH TABLES
2) NEGATION (¬)
R ¬R
F
T
T
F
CONJUNCTION ( ^ )
Rules:
1. If there is only one false from the two given
propositions the answer is False.
2. If the given propositions are both TRUE the answer
is True.
P Q P∧Q
1. T T T
2. T F F
3. F T F
4. F F F
Self Practice:
1) CONJUNCTION
P Q P∧Q
F F
F T
T T
T F
Self Practice:
1) CONJUNCTION
P Q P∧Q
F F F
F T F
T T T
T F F
TRUTH TABLES
2) CONJUNCTION
Q R Q∧R
T F
T T
F F
F T
TRUTH TABLES
2) CONJUNCTION
Q R Q∧R
T F F
T T T
F F F
F T F
DISJUNCTION ( V )
RULES:
1. If there is only one True (T) from the two given
propositions, the answer is True
2. If there are both False (F) , the answer is False.
P Q P∨Q
1. T T T
2. T F T
3. F T T
4. F F F
Self Practice
DISJUNCTION
P Q P∨Q
F F
T F
F T
T T
Self Practice
DISJUNCTION
P Q P∨Q
F F F
T F T
F T T
T T T
Self Practice:
DISJUNCTION
R S R∨S
T F
T T
F T
F F
Self Practice:
DISJUNCTION
R S R∨S
T F T
T T T
F T T
F F F
CONDITIONAL ( => )
Rules:
1. If two propositions are both True(T), the answer is
True(T);
2. If the two propositions are both False(F), the answer is
True(T).
3. If the 1st proposition is False and 2nd proposition is
True(T), the answer is True(T).
4. If the First Proposition is True (T), and the 2nd Proposition
is False , the answer is False (F).
P Q P ⇒Q
1. T T T
2. T F F
3. F T T
4. F F T
Self Practice
1) CONDITIONAL
P Q P ⇒Q
F F
T F
T T
F T
Self Practice
1) CONDITIONAL
P Q P ⇒Q
F F T
T F F
T T T
F T T
Self Practice:
2. CONDITIONAL
Q S Q ⇒S
T F
F T
F F
T T
Self Practice:
2. CONDITIONAL
Q S Q ⇒S
T F F
F T T
F F T
T T T
BICONDITIONAL ()
Rules:
1. If the two propositions are both True(T) and both False(F),
the answer is True (T);
2. If the two propositions are opposite, the answer is False
(F).
P Q P ⇔Q
1. T T T
2. T F F
3. F T F
4. F F T
Self Practice:
1) BICONDITIONAL
P Q P ⇔Q
F T
T F
T T
F F
Self Practice:
1) BICONDITIONAL
P Q P ⇔Q
F T F
T F F
T T T
F F T
TRUTH TABLES
2) BICONDITIONAL
R S R ⇔S
T T
F F
F T
T F
TRUTH TABLES
2) BICONDITIONAL
R S R ⇔S
T T T
F F T
F T F
T F F
LOGICAL COMBINATIONS
5. P Q ¬P V ¬Q
T T
T F
F T
F F
Complete the Truth Table:
5. P Q ¬P V ¬Q
T T F F = F
T F F T = T
F T T F = T
F F T T = T
Complete the Truth Table:
6. P Q ¬P ⇒ Q
T T
T F
F T
F F
Complete the Truth Table:
6. P Q ¬P ⇒Q
T T F T =T
T F F F =T
F T T T =T
F F T F =F
Complete the Truth Table:
7. P Q P ⇒ ¬Q
T T
T F
F T
F F
Complete the Truth Table:
7. P Q P⇒ ¬Q
T T T F =F
T F T T =T
F T F F =T
F F F T =T
Complete the Truth Table:
8. P Q ¬P ⇒ ¬Q
T T
T F
F T
F F
Complete the Truth Table:
8. P Q ¬P ⇒ ¬Q
T T F F = T
T F F T = T
F T T F = F
F F T T = T
Complete the Truth Table:
9. P Q P ⇔ ¬Q
T T
T F
F T
F F
Complete the Truth Table:
9. P Q P ⇔ ¬Q
T T T F =F
T F T T =T
F T F F =T
F F F T =F
Complete the Truth Table:
10. P Q ¬P ⇔ ¬Q
T T
T F
F T
F F
Complete the Truth Table:
10. P Q ¬P ⇔ ¬Q
T T F F =
T
T F F T = F
F T T F = F
F F T T =T
Complete the Truth Table:
Combination of logical connectives
p q r s
T F T F
T F F T
F T T F
F T F T
1. Complete the Truth Table:
Combination of logical connectives
p q r s (pvq)⇒s
T F T F (T v F ) => F = F
T F F T
F T T F
F T F T
2. Complete the Truth Table:
Combination of logical connectives
p q r s (¬P ⇔ r) ∧ q
T F T F (F ⇔ T) ∧ F =F
T F F T
F T T F
F T F T
3. Complete the Truth Table:
Combination of logical connectives
p q r s (¬q ∧ ¬ s ) v r
T F T F (T ∧ T ) v T = T
T F F T
F T T F
F T F T
4. Complete the Truth Table:
Combination of logical connectives
p q r s (¬ s v q ) ⇔ ¬r
T F T F (T v F) ⇔ F = F
T F F T
F T T F
F T F T
Be ready for
Group Work No. 2
THANK YOU!!!