univerzális kvantifikáció

Magyar

Kiejtés

• IPA: [ ˈunivɛrzaːliʃkvɒntifikaːt͡sijoː]

Főnév

univerzális kvantifikáció

1. (matematika) A $P(x)$ egyváltozós predikátum univerzális kvantifikációja a „P(x) minden x-re igaz“ állítás, ennek a jelölése: $\forall xP(x).$