Try It Now
Exercises
- Prove with truth tables:
- p∨ q, ¬q⇒ p
- p → q, ¬q ⇒ ¬p
- Give direct and indirect proofs of:
- a → b, c → b, d → (a ∨ c), d ⇒ b.
- (p → q) ∧ (r → s), (q → t) ∧ (s → u), ¬(t ∧ u), p → r ⇒ ¬p.
- p → (q → r), ¬s ∨ p, q ⇒ s → r.
- p → q, q → r, ¬(p ∧ r), p ∨ r ⇒ r.
- ¬q,p → q, p ∨ t ⇒ t
- Are the following arguments valid? If they are valid, construct formal proofs; if they aren’t valid, explain why not.
- If wages increase, then there will be inflation. The cost of living will not increase if there is no inflation. Wages will increase. Therefore, the cost of living will increase.
- If the races are fixed or the casinos are crooked, then the tourist trade will decline. If the tourist trade decreases, then the police will be happy. The police force is never happy. Therefore, the races are not fixed.
- Describe how p1, p1→ p2, . . . , p99→ p100⇒ p100 could be proved in 199 steps.
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.