A universal sentence is a sentence (i.e., formula of the predicate calculus without free variables) whose variables are universally quantified.
Universal Sentence
See also
Existential Sentence, Universal Formula, Universal QuantifierPortions of this entry contributed by Lorenzo Sauras-Altuzarra
Explore with Wolfram|Alpha
References
Carnap, R. Introduction to Symbolic Logic and Its Applications. New York: Dover, p. 34, 1958.Referenced on Wolfram|Alpha
Universal SentenceCite this as:
Sauras-Altuzarra, Lorenzo and Weisstein, Eric W. "Universal Sentence." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/UniversalSentence.html