Logic and Modeling 2021: Lecture 5

Video 1: Intro to first order (predicate) logic

Video 2: Syntax of first order logic

Video 3: The universal quantifier