Video 1: Intro to first order (predicate) logic
Video 2: Syntax of first order logic
Video 3: The universal quantifier
Video 4: The existential quantifier
Video 5: Natural deduction with the universal quantifier
Video 6: Natural deduction with the existential quantifier