Professor Hank Stalica
Next up: Section 8.2.
Covers the syntactic elements, models, domains, using universal and existential quantifiers, using the equality symbol.
CS461 AI CH08 Lecture: 8.2: Syntax and Semantics of First-Order Logic
The Engineering of Conscious Experience
AI, Art & Consciousness