universal quantifier

noun Logic.

a quantifier indicating that the sentential function within its scope is true for all values of any variable included in the quantifier.
Compare existential quantifier.

Words nearby universal quantifier

universal mill, universal motor, universal negative, universal postal union, universal product code, universal quantifier, universal recipient, universal soul, universal stage, universal suffrage, universal time

British Dictionary definitions for universal quantifier

universal quantifier

noun

logic a formal device indicating that the open sentence that follows is true of every member of the relevant universe of interpretation, as (∀ x)(Fx → Gx) or (x)(Fx → Gx): literally, for everything, if it is an F it is a G; that is, all Fs are Gs Usual symbol: ∀