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, Red-headed Bunting, Rhonda, kauainkiipijä, trochelminth, Keoghs