1.3 Propositional Equivalences

  • Propositional 1 ≡\equiv propositional 2. These two are logically equivalent. (Use truth table to prove)
  • DeMogan's Law:

    1. ¬(p∧q)≡¬p∨¬q\neg (p\land q) \equiv \neg p \lor \neg q
    2. ¬(p∨q)≡¬p∧¬q\neg (p\lor q) \equiv \neg p \land \neg 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(\neg q \land (p \to q)) \to \neg p is a tautology.

Solution

pp qq p→qp \to q ¬q∧(p→q)\neg q \land (p \to q) (¬q∧(p→q))→¬p(\neg q \land (p \to q)) \to \neg 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(\neg q \land (p \to q)) \to \neg p is a tautology.

16. Show that p↔qp \bi q and (p∧q)∨(¬p∧¬q)(p \land q) \lor (\neg p \land \neg q) are logically equivalent.

Solution

pp qq p↔qp \bi q p∧qp \land q ¬p∧¬q\neg p \land \neg q (p∧q)∨(¬p∧¬q)(p \land q) \lor (\neg p \land \neg 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↔qp \bi q and (p∧q)∨(¬p∧¬q)(p \land q) \lor (\neg p \land \neg q) are logically equivalent.

31. Show that (p→q)→r(p \to q) \to r and p→(q→r)p \to (q \to r) are not logically equivalent.

Solution

pp qq rr p→qp \to q (p→q)→r(p \to q) \to r q→rq \to r p→(q→r)p \to (q \to 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(p \to q) \to r and p→(q→r)p \to (q \to r) are not logically equivalent.

The dual of a compound proposition that contains only the logical operators ∨,∧\lor, \land and ¬\lnot is the compound proposition obtained by replacing each ∨\lor by ∧\land, each ∧\land by ∨\lor, each TT by FF, and each FF by TT. The dual of ss is denoted by s∗s^{*}.
34. Find the dual of each of these compound propositions.
a) p∨¬qp \lor \lnot q
b) p∧(q∨(r∧T))p \land (q \lor (r \land T))
c) (p∧¬q)∨(q∧F)(p \land \lnot q) \lor (q \land F)

Solution

a. (p∨¬q)∗=p∧¬q(p \lor \lnot q)^* = p \land \lnot q
b) [p∧(q∨(r∧T))]∗=p∨(q∧(r∨F)){\lb p \land (q \lor (r \land T)) \rb}^* = p \lor (q \land (r \lor F))
c) [(p∧¬q)∨(q∧F)]∗=(p∨¬q)∧(q∨T){\lb (p \land \lnot q) \lor (q \land F) \rb}^* = (p \lor \lnot q) \land (q \lor T)