1.3 Propositional Equivalences
- Propositional 1 ≡ propositional 2. These two are logically equivalent. (Use truth table to prove)
- DeMogan's Law:
1. ¬(p∧q)≡¬p∨¬q
2. ¬(p∨q)≡¬p∧¬q
- Tautology - a statement that is always true for every possible case.
Homework
p55: 15, 16, 31, 34
15. Determine whether (¬q∧(p→q))→¬p is a tautology.
Solution
p |
q |
p→q |
¬q∧(p→q) |
(¬q∧(p→q))→¬p |
T |
T |
T |
F |
T |
T |
F |
F |
F |
T |
F |
T |
T |
F |
T |
F |
F |
T |
T |
T |
Therefore, (¬q∧(p→q))→¬p is a tautology.
16. Show that p↔q and (p∧q)∨(¬p∧¬q) are logically equivalent.
Solution
p |
q |
p↔q |
p∧q |
¬p∧¬q |
(p∧q)∨(¬p∧¬q) |
T |
T |
T |
T |
F |
T |
T |
F |
F |
F |
F |
F |
F |
T |
F |
F |
F |
F |
F |
F |
T |
F |
T |
T |
Therefore, p↔q and (p∧q)∨(¬p∧¬q) are logically equivalent.
31. Show that (p→q)→r and p→(q→r) are not logically equivalent.
Solution
p |
q |
r |
p→q |
(p→q)→r |
q→r |
p→(q→r) |
T |
T |
T |
T |
T |
T |
T |
T |
T |
F |
T |
F |
F |
F |
T |
F |
T |
F |
T |
T |
T |
T |
F |
F |
F |
T |
T |
T |
F |
T |
T |
T |
T |
T |
T |
F |
T |
F |
T |
F |
F |
T |
F |
F |
T |
T |
T |
T |
T |
F |
F |
F |
T |
F |
T |
T |
Therefore (p→q)→r and p→(q→r) are not logically equivalent.
The dual of a compound proposition that contains only the logical operators ∨,∧ and ¬ is the compound proposition obtained by replacing each ∨ by ∧, each ∧ by ∨, each T by F, and each F by T. The dual of s is denoted by s∗.
34. Find the dual of each of these compound propositions.
a) p∨¬q
b) p∧(q∨(r∧T))
c) (p∧¬q)∨(q∧F)
Solution
a. (p∨¬q)∗=p∧¬q
b) [p∧(q∨(r∧T))]∗=p∨(q∧(r∨F))
c) [(p∧¬q)∨(q∧F)]∗=(p∨¬q)∧(q∨T)