## Assignments for Weeks 2 and 3

### Reading

Read Chapter 2 (logic for Week 2, incidence geometry for Week 3).
Deemphasize projective and affine geometry (pp. 81-90).

The extra logic questions below come from my logic notes for
Math. 302, and I will draw on them for lectures, too.
The notes probably tell you more about logic than you really want
to know this week, but here they are:

### Discussion questions

- Express in logical notation (quantifiers and
connectives, plus a bare minimum of English):
- Everybody loves a lover.
- All that glitters is not gold.
- Every U.S. citizen, and any person who earns
income in the United States, must file a tax return.
- Taxpayer Smith may claim his daughter as a dependent,
provided that she is not married and filing a joint return,
if he provides more than half of her support,
or if he and another person together provide more than half of her
support and he paid over 10% of her support.
(Let s = Smith, d = daughter.)

- Translate into standard mathematical English:
[Click here.]
- Exercise 6, p. 92: Proposition 2.3 (see p. 71).

- Express in logical notation (quantifiers and
connectives):
- n is an even number.
- For every number that is a perfect cube, there is a
larger number that is even.

- Translate into standard mathematical English:
[Click here.]
(A really good answer uses no letters for variables and is brief.)
- Exercise 1, p. 91.
- Exercise 2, p. 91.
- Exercise 4, p. 92.
- Exercise 5, p. 92.
- Exercise 6, p. 92:
- Proposition 2.4 (see p. 71)
- Proposition 2.5

- Exercise 9, pp. 92-93. (Part (c) is especially important.)