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. (p ⇒ q ∨ r) and (p ∧ q ⇒ r)
b. (p ⇒ (q ⇒ r)) and (p ∧ q ⇒ r)
c. (p ∧ q ⇒ r) and (p ∧ r ⇒ q)
d. ((p ⇒ q ∨ r) ∧ (p ⇒ r)) and (q ⇒ r)
e. ((p ⇒ q) ∨ (q ⇒ r)) and (p ∨ ¬p)