Constant (First-Order Logic)

logic first-order-logic

Definition

Constant (First-Order Logic)

A constant is a function symbol of arity $0$. It belongs to $\mathcal{F}$ in a signature $(\mathcal{F},\mathcal{P})$ and denotes a fixed, named element of the universe.