Definition
Universe (First-Order Logic)
The universe
(also called the domain of discourse) is a non-empty set that forms part of an interpretation . It contains the objects that terms denote and over which quantifiers range.
Universe (First-Order Logic)
The universe
(also called the domain of discourse) is a non-empty set that forms part of an interpretation . It contains the objects that terms denote and over which quantifiers range.