First-Order Signature

Consists of:

• connectives
  • functions on truth values
• function predicates
  • functions on individuals
• predicate constants
  • relationships among individuals
• Skolem constants
  • witness constructors