Download as docx, pdf, or txt
Download as docx, pdf, or txt
You are on page 1of 2

Tuesday, 1:30 – 3:30 PM

Assessment Task for Lesson No.4.1


1. Determine the truth values of the following propositions.
a. It is not the case that 2 is the only even prime number.
 The proposition is false since 2 is the only even prime number.
b. The number π is an irrational number and its value is less than 3.
 The “Number π is an irrational number” is true but its value is more than 3.
Thus, the conjunction is false since one of its conjuncts is false.
c. 13 is a composite number or 13 is an odd number.
 The proposition is true even if 13 is not a composite number it is an odd
number. Thus, it has one disjunction that is true.
d. If 2 divides all even numbers, then 22 is divisible by 2.
 Both hypothesis and conclusion are true. Thus, the conditional is true.
2. Given the following propositions,
p: Dyroth is a prince.
q: Odette is beautiful
r: Cyclops has one eye.
i. Express the following propositions symbolically.
a. Cyclops has more than one eye and Odette is beautiful.
r Λq
b. Either Odette is beautiful or Dyroth is a prince.
qV p
c. Either Odette is beautiful or Cyclops has one eye, but not both.
qVp
ii. Express the following propositions in words.
a. p V q
- Dyroth is a prince or Odette is not beautiful.
b. q → p
- If Odette is not beautiful, then it is not true that Dyroth is a prince.

3. Establish the validity of the following argument using truth table.


Roger is either a human or a werewolf
Roger is not human.
Therefore, he is a werewolf.
Answer: If we let p to denote “Roger is human” and q be “Roger is werewolf”. Then the
given argument can be symbolically as.
pV q
p
∴q

The Law of Detachment does not apply to this argument. We will use the truth table to
verify the validity of this argument. That is, to show that [( p V q) Λ p]→ q.
p q pV q p ( p V q) Λ p [( p V q) Λ p]→ q
T T T F F T
T F T F F T
F T T T T T
F F F T F T
The truth table shows that the given argument is valid since [( p V q) Λ p]→ q is a
tautology.

You might also like