background

Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

KREIZENN AR GERIAOUIÑ

Geriadur Klok
Geriadur Klok
quantificateur   kwantifier g. -ioù
logique ◊ symbole liant une ou plusieurs variables à une quantité
en  quantifier
quantificateur d'unicité   kwantifier unikelezh g.
logique ◊ quantificateur 'il existe un et un seul'
en  uniqueness quantifier
quantificateur existentiel   kwantifier bezoud g.
logique ◊ quantificateur 'il existe au moins un'
en  existential quantifier
quantificateur universel   kwantifier hollvedel g.
logique ◊ quantificateur 'quel que soit'
en  universal quantifier