Equality (FOL)

In first-order logic, we can use an equality operator ($=$) to state that two objects equal to one another.

We use the notation:

$${\text{term}}_1={\text{term}}_2$$

This also forms an atomic formula.

Examples of use:

• $1=succ(0)$
• $\neg (1=succ(2))$