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)

További információk

• egzisztenciális kvantor - Értelmező szótár (MEK)
• egzisztenciális kvantor - Etimológiai szótár (UMIL)
• egzisztenciális kvantor - Szótár.net (hu-hu)
• egzisztenciális kvantor - DeepL (hu-de)
• egzisztenciális kvantor - Яндекс (hu-ru)
• egzisztenciális kvantor - Google (hu-en)
• egzisztenciális kvantor - Helyesírási szótár (MTA)
• egzisztenciális kvantor - Wikidata
• egzisztenciális kvantor - Wikipédia (magyar)