Professional Documents
Culture Documents
COMIA, JOHN LLOYD B - Exercises-No.1
COMIA, JOHN LLOYD B - Exercises-No.1
COMIA, JOHN LLOYD B - Exercises-No.1
21-02284
EE-2203
1. Which of these sentences are propositions? What are the truth values of those
that are propositions?
Answers:
a) Yes, T
b) Yes, F
c) Yes, T
d) Yes, F
e) No
f) No
Answers:
3. Let p and q be the propositions “Swimming at the New Jersey shore is allowed”
and “Sharks have been spotted near the shore,” respectively. Express each of
these compound propositions as an English sentence.
a) ¬q
b) p ∧ q
c) ¬p ∨ q
d) p → ¬q
Answers:
a) Berries are ripe along the trail, but grizzly bears have not been seen in the area.
b) Grizzly bears have not been seen in the area and hiking on the trail is safe, and
berries are ripe along the trail.
c) If berries are ripe along the trail, hiking is safe if and only if grizzly bears have
not been seen in the area.
d) It is not safe to hike on the trail, but grizzly bears have not been seen in the
area and the berries along the trail are ripe.
e) For hiking on the trail to be safe, it is necessary but not sufficient that berries not
be ripe along the trail and for grizzly bears not to have been seen in the area.
Answers:
a) r ∧ ¬p
b) (-p ∧ q) ∧ r
c) r → (q ↔ -p)
d) -q ∧ (-p ∧ r)
e) q → (-r ∧ -p)
a) If 1 + 1 = 2, then 2 + 2 = 5.
b) If 1 + 1 = 3, then 2 + 2 = 4.
c) If 1 + 1 = 3, then 2 + 2 = 5.
d) If monkeys can fly, then 1 + 1 = 3.
Answers:
a) False
b) True
c) True
d) True
Answers:
Answers:
c) Converse: “If it has no divisors other than 1 and itself, then a positive integer is a
prime number.”
Contrapositive: “If it has a divisor other than 1 and itself, then a positive integer
is not a prime number.”
Inverse: “If a positive integer is not prime, then it has divisors other than 1 and
itself.”
8. Construct a truth table for each of these compound propositions.
a) p ∧ ¬p
b) p ∨ ¬p
c) (p ∨ ¬q) → q
d) (p → q) ↔ (¬q → ¬p)
a)
p ¬p p ∧ ¬p
T F F
F T F
b)
p ¬p p ∧ ¬p
T F T
F T T
c)
p q -q p ∨ ¬q (p ∨ ¬q) → q
T T F T T
T F T T F
F T F F T
T F T T F
d)
p q -p -q p→q ¬q → ¬p (p → q) ↔ (¬q → ¬p)
T T F F T T T
T F F T F F T
F T T F T T T
F F T T T T T
9. Construct a truth table for each of these compound propositions.
a) (p ∨ q) → (p ⊕q)
b) (p ⊕q) → (p ∧ q)
c) (p ↔ q) ⊕(¬p ↔ ¬r)
a)
p q p∨q p ⊕q (p ∨ q) → (p ⊕q)
T T T F F
T F T T T
F T T T T
F F F F T
b)
p q p ⊕q p∧q (p ⊕q) → (p ∧ q)
T T F T T
T F T F F
F T T F F
F F F F T
c)
T T T F F T T F
T T F F T T F T
T F T F F F T T
T F F F T F F F
F T T T F F F F
F T F T T F T T
F F T T F T F T
F F F T T T T F
a) p → (¬q ∨ r)
b) ¬p → (q → r)
c) (p → q) ∨ (¬p → r)
d) (p → q) ∧ (¬p → r)
a)
p q r ¬q ¬q ∨ r p → (¬q ∨ r)
T T T F T T
T T F F F F
T F T T T T
T F F T T T
F T T F T T
F T F F F T
F F T T T T
F F F T T T
b)
p q r -p q→r ¬p → (q → r)
T T T F T T
T T F F F T
T F T F T T
T F F F T T
F T T T T T
F T F T F F
F F T T T T
F F F T T T
c)
p q r -p p→q ¬p → r (p → q) ∨ (¬p → r)
T T T F T T T
T T F F T T T
T F T F F T T
T F F F F T T
F T T T T T T
F T F T T F T
F F T T T T T
F F F T T F T
d)
p q r -p p→q ¬p → r (p → q) ∧ (¬p → r)
T T T F T T T
T T F F T T T
T F T F F T F
T F F F F T F
F T T T T T T
F T F T T F F
F F T T T T T
F F F T T F F