background

Dictionnaire breton des sciences et des techniques

KREIZENN AR GERIAOUIÑ

quantificateur kwantifier g. -ioù: logique ◊ symbole liant une ou plusieurs variables à une quantité

anglais : quantifier

quantificateur d'unicité kwantifier unikelezh g.: logique ◊ quantificateur 'il existe un et un seul'

anglais : uniqueness quantifier

quantificateur existentiel kwantifier bezoud g.: logique ◊ quantificateur 'il existe au moins un'

anglais : existential quantifier

quantificateur universel kwantifier hollvedel g.: logique ◊ quantificateur 'quel que soit'

anglais : universal quantifier