Lecture: Unit 6 Single Place Derivations in PL Part II
Channel: Alex Koo
Date: 2017-09-07

0:00 Universal Introduction?
1:14 Arbitrary Member 
3:44 Universal Derivation
5:07 Four Derivation Types
5:32 Breaking Down Show Lines/Examples
11:03 Automatic Moves
15:33 5 Skills to Master
16:16 Negation Rule for Quantifiers 

ERRATUM:
3:00 - Dr. Koo says "Locke", but of course this is Hobbes.

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.