- 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.
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2018
- 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 GsUsual symbol: ∀
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012