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

Question and answer session