Hakuluettelo:
Käännös:
universal quantifier (suomeksi)
- Määritelmät:
- (lb, en, logic) The operator, represented by the symbol ∀, used in predicate calculus to indicate that a predicate is true for all members of a specified set.
Viimeisimmät haut: universal quantifier, tercel gentles, Alderson disk, satirist, desertrix, Loango Weaver