Exercises

  1. 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".

  2. 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
Creative Commons License This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License.