Professional Documents
Culture Documents
Lesson 2 Truth Values of Propositions
Lesson 2 Truth Values of Propositions
We can express compound propositions using a truth table that displays the
relationships between the truth values of the simple propositions and the compound
proposition.
p q p ˄q p˅q ~p p→q p ↔q
T T T T F T T
T F F T F F F
F T F T T T F
F F F F T T T
a. p v q :
T v F = True
b. ~q ˄ p :
negate F ⋀ T = True
c. p → p
T → T = True
d. (q → p) v (p ↔ q)
(F →T) v (T ↔ F) = T V F = True
e. (p → p) ↔ (~q ↔ q)
( T → T) ↔ (~F ↔ F) = T ↔ F = False
Example 2: Construct the truth table for each of the following propositions.
a. ~p V ~q
b. ~(q V q) → ~(~p)
c. (p V p) ↔ ~(q ⋀ q)
d. (p →q) V (q ⋀ ~r)
Solution for a.
p q p q pV q ~p V ~q
T T F F F
T F F T T
F T T T T
F F T F T
p q r p →q ~r q ⋀ ~r (p →q) V (q ⋀ ~r)
T T T T F F T
T T F T T T T
T F T F F F F
T F F F T F F
F T T T F F T
F T F T T T T
F F T T F F T
F F F T T F T