Sanakirja
Tekoälykääntäjä
KieliKäännökset
ranskaquantificateur universel
tšekkiuniverzální kvantifikátor
venäjäква́нтор всео́бщности (kvántor vseóbštšnosti)

Määritelmät

Substantiivi

  1. (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. Verbal equivalents include "for each" and "for every".

Esimerkit

  • Some verbal equivalents are "for each" or "for every".

Taivutusmuodot

Monikkouniversal quantifiers

Luokat