Lecture: Unit 6 Single Place Derivations in PL Part I

0:53 Substitution
1:36 Universal Instantiation
2:30 Good UI Examples
4:50 Bad UI Examples
7:13 Restriction/UI Clarification/Examples
10:46 Existential Instantiation
12:10 Arbitrary Term/Conditions
14:04 Golden Rule/Examples
18:30 Introduction Rules for Quantifiers
19:20 Existential Generalization
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.