Logic: SL: Deductive Proofs with Assumptions - Examples

0:55 - Review of our strategy
3:06 - example a
8:44 - example b
13:50 - commercial break
14:39 - example c
20:55 - example d
24:35 - example e
31:00 - example f