Paña Exercises-No.1
Paña Exercises-No.1
Paña Exercises-No.1
Paña
21-00938
1. Which of these sentences are propositions? What are the truth values of those
that are propositions?
a) Yes, T
b) Yes Proposition, F
c) Yes Proposition, T
d) Yes Proposition. F
e) Not a proposition. F
f) Not proposition.F
a) ¬q
b) p ∧ q
c) ¬p ∨ 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∧r
c) r→ (q↔¬p)
d) ¬q∧¬p∧r
e) (q→(¬r∧p))∧¬((¬r∧¬p)→q)
5. Determine whether each of these conditional statements
is true or false.
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
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
F 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
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 T F T
T F F T F
F T F T F
F F F F T
c)
p q r ¬p ¬r (p ↔ q) (¬p ↔ ¬r) (p ↔ q) ⊕ (¬p ↔ ¬r)
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 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
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 T F T T
T F F F F T T
F T T T T T T
F T F F 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 T F T F
T F F F F T F
F T T F T T T
F T F T T F F
F F T T T T T
F F F T T F F