Try It Now
Work these exercises to see how well you understand this material.
Exercises
- Given the following propositions generated by p, q, and r, which are equivalent to one another?
- (p ∧ r) ∨ q
- p ∨ (r ∨ q)
- r ∧ p
- ¬r ∨ p
- (p ∨ q) ∧ (r ∨ q)
- r → p
- r ∨ ¬p
- p → r
- Is an implication equivalent to its converse? Verify your answer using a truth table.
- How large is the largest set of propositions generated by p and q with the property that no two elements are equivalent?
- Explain why a contradiction implies any proposition and any proposition implies a tautology.
Source: Al Doerr and Ken Levasseur, http://faculty.uml.edu/klevasseur/ads-latex/ads.pdf This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License.