Introduction to Logic
Tools
for
Thought
 

Exercise 3.2 - Propositional Equivalence

For each of the following pairs of sentences, determine whether or not the sentences are logically equivalent.

a. (pqr) and (pqr)
b. (p ⇒ (qr)) and (pqr)
c. (pqr) and (prq)
d. ((pqr) ∧ (pr)) and (qr)
e. ((pq) ∨ (qr)) and (p ∨ ¬p)