Français | Anglais |
---|---|
quantificateur nom {m} | quantifier [quantifiers]◼◼◼(a logical operator) quantifier [quantifiers]◼◼◼(a word, such as all or many, that expresses a quantity) |
quantificateur existentiel nom | existential quantifier◼◼◼(operator used in predicate calculus) |
quantificateur universel nom | universal quantifier◼◼◼(operator) |