Logic and Modeling 2021: Lecture 8

Video 2: satisfiability, validity, consistency

Video 3: FOL translations and interplay of quantifiers

Video 4: equality in Lean