Universal Sentence

A universal sentence is a sentence (i.e., formula of the predicate calculus without free variables) whose variables are universally quantified.

See also

Existential Sentence, Universal Formula, Universal Quantifier

Portions of this entry contributed by Lorenzo Sauras-Altuzarra

Explore with Wolfram|Alpha

More things to try:

References

Carnap, R. Introduction to Symbolic Logic and Its Applications. New York: Dover, p. 34, 1958.

Referenced on Wolfram|Alpha

Universal Sentence

Cite this as:

Sauras-Altuzarra, Lorenzo and Weisstein, Eric W. "Universal Sentence." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/UniversalSentence.html

Subject classifications