Signature (logic)

In logic, the term "signature" refers to a formal specification that defines the basic elements of a logical language or system. It usually includes a set of symbols that represent various components of that language, such as: 1. **Constants**: Symbols that denote specific, unchanging elements (e.g., numbers, specific objects). 2. **Variables**: Symbols that can represent a range of elements or objects in a given domain.