English | Czech |
---|---|
quantifier [quantifiers] (a logical operator) noun [UK: ˈkwɒn.tɪ.faɪə(r)] [US: ˈkwɒn.tɪ.faɪər] | kvantifikátornoun |
existential quantifier (operator used in predicate calculus) noun [UK: ˌeɡ.zɪ.ˈsten.ʃəl ˈkwɒn.tɪ.faɪə(r)] [US: ˌek.ˌsɪ.ˈsten.tʃəl ˈkwɒn.tɪ.faɪər] | existenční kvantifikátornoun |
universal quantifier (operator) noun | univerzální kvantifikátornoun |