In the interpretation of a first-order language, the universe of discourse is the set of elements of which the variables range over.
Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.
Copyright © 2015 Barry Watson. All rights reserved.