Day 08: mat385
Today:
- Return section 1.2 homework problems
- You got lucky, and both problems to grade (1/10 and 12/21) are starred
problems (which means that the solutions are in the back of the
book -- don't forget to check them in this case!).
- On 12/21, you were supposed to prove disjunctive syllogism, not use it!
It's by carrying out this exercise that we're allowed to write "ds"!
- A sample proof of problem #37/46, section 1.2: if
you want me to check yours, hand it back in!
- Don't forget: problems from section 1.3 are due next time.
- Section 1.4: Predicate Logic
Website maintained by Andy Long.
Comments appreciated.
