CS461 AI CH08 Lecture: 8.2: Syntax and Semantics of First-Order Logic

Professor Hank Stalica

Next up: Section 8.2.
Covers the syntactic elements, models, domains, using universal and existential quantifiers, using the equality symbol.