Definition
Herbrand Interpretation (First-Order Logic)
A Herbrand interpretation is an interpretation whose domain is the Herbrand universe
and where each ground term is interpreted as itself: A Herbrand interpretation is fully determined by which ground atoms it makes true.
Examples
Example
Let
The Herbrand universe is
One Herbrand interpretation makes
and true but false — encoding that and are even, is not.