PL 4 Predicate Logic Semantics, Part 2 (and a little syntax)

Second part of an introductory series to the semantics of predicate logic. We discuss the notions of interpretation, and truth-in-an-interpretation