(redirected from Universal quantification)
Also found in: Dictionary, Thesaurus, Encyclopedia, Wikipedia.
See: collective
References in periodicals archive ?
The reason is that we are generally prevented from logically reducing any universal quantification to a countably infinite conjunction of relevant predications to the individual objects in a logic's referential domain; or, similarly, to a countably infinite run of disjunctions in the case of existential quantifications.
One major disadvantage of SQL is its lack of a direct support to a universal quantification construct.
This is due to the fact that universal quantification is abundant in our natural language use, but expressing it in SQL requires the negation of existential quantification, which can be quite unintuitive.

Full browser ?