6.042 Lecture 9 -- Predicates and Induction
14:30:02	Administrivia
14:33:20	Predicate logic
14:43:30	Logic expressions, DeMorgan's law
14:52:42	Predicates as sets
14:58:20	Triomino problem
15:07:05	Mathematical induction
15:13:55	Induction for tiling problem
15:24:24	Demo: Unstacking puzzle
15:30:15	Strong induction
15:32:58	Proving the unstacking result
15:44:19	Alternate proofs