Matematiikka:eksistenssikvanttori

Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.

olemassaolokvanttori (luo nimityssivu)
eksistenssikvanttori

Määritelmä symboli $\mathrm{\exists }$ , joka luetaan "on olemassa "

Selite Jos $P$ on ominaisuus, niin $\mathrm{\exists }xP(x)$ tarkoittaa, että on olemassa sellainen olio $x$, jolla on ominaisuus $P$. Ks. myös Matematiikka:Universaalikvanttori.

Väite $\mathrm{\exists }x(5=3+x)$ on tosi reaalilukujen joukossa, koska voidaan valita $x=2$. Väite $\mathrm{\exists }x(x\cdot 0=5)$ on epätosi reaalilukujen joukossa, sillä ei ole olemassa sellaista reaalilukua, joka kerrottuna nollalla antaisi tulokseksi luvun viisi.

Erikieliset vastineet

existential quantifier (luo nimityssivu)

englanti (English)

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.12.2025: Matematiikka:eksistenssikvanttori. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Matematiikka:eksistenssikvanttori.)

Siirry tarkastelemaan sivun muokkaushistoriaa →