Quantifier-free sentence
= Quantifier-free sentence
A quantifier-free sentence is a <quantifier-free formula> with no free variables. In a language whose only closed group terms denote zero, all quantifier-free sentences have the same truth value in every group, even when existential sentences distinguish them.