Professional Documents
Culture Documents
21-03396 02/16/2023
Exercise No. 1
1. Which of these sentences are propositions? What are the truth values of those
that are propositions?
a) Yes, T
b) Yes, F
c) Yes, T
d) Yes, T
e) No
f) No
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 v q
d) p → ¬q
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.
a) r ¬p
b) ¬p ∧ q ∧ p
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.
a) False
b) True
c) True
d) True
6. Write each of these statements in the form “if p, then q” in English.
c) Converse: “If it has no divisors other than 1 and itself, then a positive integer is
prime.”
Contrapositive: “If it has divisors other than 1 and itself, then a positive integer is
not prime.”
Inverse: “If a positive integer is not prime, then it has divisors other than 1 and
itself.”
a) p ¬p
b) p ¬p
c) (p ¬q) → q
d) (p → q) ↔ (¬q → ¬p)
a) p ∧ ¬p
p ¬p p ¬p
T F F
F T F
b) p ∨ ¬p
p ¬p p ∨ ¬p
T F T
F T T
c) (p ∨ ¬q) → q
p q ¬q (p ∨ ¬q) (p ∨ ¬q) → q
T T F T T
T F T T F
F T F F T
F F T T F
d) (p → q) ↔ (¬q → ¬p)
T F T F F F T
F T F T T T T
F F T T T T T
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)
T T F T T
T F T F F
F T T F F
F F F F T
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) ¬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) ∨ (¬p → r)
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)∧(¬p → r)
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