Day 8:
mat385
Last time
: section 2.1: Proof Techniques
Next time
: section 2.4: Recursion
Today:
Announcements
A homework is due (section 2.1)
NO homework due Wednesday; it got moved back because we did some review last time.
Your homework (for section 1.4) is returned: graded
19:
How many of you considered the possibility that it might not be valid? Almost no one!
Make the antecedent true by making its antecedent false, and use a false consequent....
26:
Existential before universal....
Then, when you do the universal, match the arguments, for goodness's sake!
28:
The first two were six lines, using a hypothetical syllogism
The last two took me nine, using simplifications, etc.
Once again, watch the mixing of
and
and
and
More of you than not are screwing that up!
30:
In the back of the book....
7/24 didn't do the homework!
Last time: Review of prepositional calculus, and more
section 2.1 highlights: Proof Techniques
Today:
section 2.2 highlights: Induction
A tiring proof....
Links
:
Some induction examples
Website maintained by
Andy Long
. Comments appreciated.