WEEK8DAY1
WEEK8DAY1
WEEK 8: LESSON 1
Truth Values of Propositions
OBJECTIVES:
1. construct truth tables of propositions;
2. determine the truth values of propositions; and
3. distinguish the proposition as tautology or contradiction.
p q 𝑝→𝑞 𝑞→𝑝 (𝑝 → 𝑞) ⋀ (𝑞 → 𝑝)
T T T T T
T F F T F
F T T F F
F F T T T
Example 2: Consider the compound proposition [(𝑝 → 𝑟) ⋀ (𝑞 → 𝑟)] → [(𝑝 ⋁ 𝑞) → 𝑟]. Construct its
truth table.
p q r 𝑝→𝑟 𝑞 → 𝑟 (𝑝 → 𝑟) ⋀ (𝑞 → 𝑟) 𝑝 ⋁ 𝑞 (𝑝 ∨ 𝑞) → 𝑟 S
T T T T T T T T T
T T F F F F T F T
T F T T T T T T T
T F F F T F T F T
F T T T T T T T T
F T F T F F T F T
F F T T T T F T T
F F F T T T F T T
Note that regardless of the truth values of p, q, and r, propositions are always true. Such
propositions are called tautologies.
Definition. A proposition that is always true is called tautology, while a proposition that is always
false is called contradiction. We denote tautologies by τ and contradiction by ϕ.
EXAMPLE 3: Let p and q be propositions. Using truth tables, show the following:
a. 𝑝 ∨ 𝜏 is a tautology.
b. 𝑝 ∧ 𝜙 is a contradiction.
c. 𝑝 → ((𝑝 ∨ 𝑞) is a tautology.
d. (𝑝 ⋀ (~𝑞))⋀ (𝑝 ∧ 𝑞) is a contradiction
Solution:
a. 𝒑 ∨ 𝝉 is a tautology.
Note that τ is always true. Hence in the disjunction p∨τ, there is at least one true disjunct.
Therefore, p∨τ is a tautology since regardless of the truth value of p, p∨τ is true.
𝑝 𝜏 𝑝∨𝜏
T T T
F T T
b. 𝒑 ∧ 𝝓 is a contradiction.
Since 𝜙 is always false, then the second column of the truth table we will be constructing will
contain Fs. We have the following truth table. Regardless of the truth of p, p∧ϕ is always false.
Hence, it is a contradiction.
𝑝 𝜙 𝑝∧𝜙
T F F
F F F
c. 𝒑 → ((𝒑 ∨ 𝒒) is a tautology.
We have the following truth table. Regardless of the truth values of p and q p→((p ∨q) is always
true, so it is a tautology.
p q 𝑝 ∨𝑞 𝑝 → ((𝑝 ∨ 𝑞)
T T T T
T F T T
F T T T
F F F T
d. (𝒑 ⋀ (~𝒒))⋀ (𝒑 ∧ 𝒒) is a contradiction
We have the following truth tables. We note that (p∧(∼q) )⋀ (p∧q) is false for any combination of
truth values of p and q. Therefore, (p∧(∼q) )⋀ (p∧q) is a contradiction.
p q ∼𝑞 𝑝 ∧ (∼ 𝑞) 𝑝∧𝑞 (𝑝 ∧ (∼ 𝑞) )⋀ (𝑝 ∧ 𝑞)
T T F F T F
T F T T F F
F T F F F F
F F T F F F
Seatwork:
A. Construct the truth table for the following compound propositions. Assume all variables
denote propositions.
1. ~𝑝 ∧ (𝑞 ∧ ~𝑟)
2. 𝑝 ∧ [(𝑞 ∨ ~𝑝) ∧ ~𝑞]
B. Show that the following statements are tautologies by constructing the truth table for
each.
1. (𝑝 → 𝑞) → (~𝑝 ∨ 𝑞)
2. 𝑝 → [𝑞 ↔ (𝑝 ∧ 𝑞)]