Lecture: Unit 4 Derivations in SL part 2
Channel: Alex Koo
Date: 2016-09-26

0:24 Important Rules
1:15 Conjunction
2:13 Disjunction
4:00 Biconditional
5:36 Proof Structure/Example
18:46 Theorems
19:22 Contradiction Generators/Example
33:24 Five Skills to Master

This video is protected under the Creative Commons BY license. As such, one may copy or redistribute the video in any medium or format on the condition that proper attribution to the original creator is provided. Attribution must include the name of the original creator (Alex Koo); a link to the original material (this video). One must indicate what changes have been made to the video. One may not use the material for commercial purposes, and one may not redistribute the material if it has been remixed/transformed/built upon.