1.3 Equality

In this section we consider a common additional feature to first-order logic as it has been defined above: An equality symbol can be added to a first-order language to express equality between the objects denoted by terms. In what follows, we shall have a look at the syntactic and semantic consequences of this extension.

• 1.3.1 Equality Symbol

• 1.3.2 Semantics of Equality