In a first-order language, a sentence is a formula which contains no free variables.
Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.
Copyright © 2015 Barry Watson. All rights reserved.