Content: Automated Reasoning   (Part 6)

• First-Order Logic
  • Syntax and Semantics
  • Prenex Normal Form
  • Skolemization