Maggie Johnson Handout #20

CS103A

Problem Set 5

Quantifier Proofs I (Informal)

1) Exercises 12.1-12.3, 12.5-12.7, pp. 327-329 of BE.

2) Exercises 12.11-12.12, 12.16-12.19, pp. 335-336 of BE

Quantifier Proofs I (Formal)

1) Exercises 13.1-13.9, odd-numbered ones, pp. 346-347 of BE

2) Exercises 13.10, 13.11-13.17, odd-numbered ones, pp. 350-351 of BE

3) Exercises 13-19-13.29, odd-numbered ones, pp. 358-359 of BE