• Part 2: First-order logic

• 2.1 Syntax
  • signature, variables, terms, atoms, literals, clauses, formulae
  • bound and free variables, substitutions

• 2.2 Semantics
  • structures, assignments, evaluations of terms and formulae
  
  Imprint | Data Protection