Logic and Modeling 2021: Lecture 8

Video 1: semantic equivalence

Video 2: satisfiability, validity, consistency