universal quantifier
[/ˌjuːnɪˈvɜːrsəl ˈkwɒntɪfaɪər/]
nounpl: universal quantifiers
quantificador universal
1. A logical operator in first-order logic symbolized by ∀ (inverted A) that indicates a statement applies to all members of a given domain or set
The universal quantifier in 'for all x, x is mortal' asserts that every member of the domain is mortal.
O quantificador universal em 'para todo x, x é mortal' afirma que cada membro do domínio é mortal.
2. A symbol or word used in formal logic to express that a property or relation holds for all elements within a specified set or universe of discourse
In the formula ∀x(P(x)), the universal quantifier indicates that the predicate P applies to all values of x.
Na fórmula ∀x(P(x)), o quantificador universal indica que o predicado P se aplica a todos os valores de x.
This is a technical term from formal logic and mathematics, used consistently across English and Portuguese-speaking academic communities. It is primarily encountered in university-level logic courses, mathematics, computer science, and philosophy programs. The term is not subject to regional variation or slang usage, as it maintains standardized meaning in formal contexts.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →