Try It Now
Work these exercises to see how well you understand this material.
Exercises
- Write the following in symbolic notation and determine whether it is a tautology: "If I study then I will learn. I will not learn. Therefore, I do not study".
- Describe, in general, how duality can be applied to implications if we introduce the relation ⇐, read "is implied by". We define this relation by (p ⇐ q) ⇔ (q ⇒ p).
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.