quantificateur existentiel oor Japannees

quantificateur existentiel

naamwoord manlike

Vertalings in die woordeboek Frans - Japannees

存在量化子

Opérateur indiquant qu’un prédicat est vrai pour au moins un élément|1

存在記号

naamwoord

voorbeelde

Le fait que U soit un ultrafiltre (et pas seulement un filtre) est utilisé pour traiter le cas des négations, et l'axiome du choix est nécessaire pour celui de l'introduction d'un quantificateur existentiel.
実は U が超フィルターである(単にフィルターとなるだけでない)ことはこの節の否定において用いられており、また存在量化のステップでは選択公理が必要である。