Constant (First-Order Logic)

logic first-order-logic

Definition

Constant (First-Order Logic)

A constant is a function symbol of arity . It belongs to in a signature and denotes a fixed, named element of the universe.