- A homework is due (section 1.4)
- Your second homework (for section 1.3) is returned: graded
- 3:
- Justify your answers! Some of you did great (e.g. Florida is not north of an M state, so d. is false).
- 3b was much misinterpreted....
- 5:
- Don't forget the domain!
- Domains must be the same for all variables. The way to restrict elements to certain corners of a domain is to create wffs which assert, for example, that in the domain of the whole world
means that x is a prime.
- 11:
- Whoa! This one was trouble....
- Watch the mixing of
and
and
and
- 15:
- Ditto: Watch the mixing of
- Ditto: Watch the mixing of
- 3:
- section 2.2 highlights: Induction
- A tiring proof....