univerzális kvantor

Magyar

Kiejtés

• IPA: [ ˈunivɛrzaːliʃkvɒntor]

Főnév

univerzális kvantor

1. (matematika) Bevezetjük a $(\forall x)P(x)$ jelölést a ”minden x-re $P(x)$“ ítélet rövidítésére. A $\forall$ jelet univerzális kvantornak nevezzük.

• angol: universal quantifier (en)