egzisztenciális kvantor

Magyar

Kiejtés

• IPA: [ ˈɛɡzistɛnt͡sijaːliʃkvɒntor]

Főnév

egzisztenciális kvantor

1. (matematika) Beveztjük a $(\exists x)P(x)$ jelölést a ”létezik olyan x, amelyre $P(x)$“ ítélet rövidítésére. A $\exists$ jelet egzisztenciális kvantornak nevezzük. Az ítéletkalkulus eddig használt logikai formulái fogalmát a predikátum, az univerzális és egzisztenciális kvantorokkal kiegészítve az ú.n. predikátumkalkulus logikai formulái fogalmát kapjuk.

• angol: existential quantifier (en)