Matematiikka:universaalikvanttori

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

universaalikvanttori
kaikki-kvanttori (luo nimityssivu)
kaikilla (luo nimityssivu)

Määritelmä Merkki $\mathrm{\forall }$, joka tarkoittaa , että jokin on totta kaikilla tietyn muuttujan arvoilla

Selite Jos $P$ on ominaisuus, niin $\mathrm{\forall }xP(x)$ tarkoittaa, että kaikilla olioilla $x$ on ominaisuus $P$.

Esimerkiksi $\mathrm{\forall }x(x^2\ge 0)$ tarkoittaa, että kaikilla muuttujan $x$ arvoilla lausekkeen $x^2$ arvo on suurempi tai yhtä suuri kuin nolla. Tämä lause on tosi reaalilukujen joukossa mutta ei kompleksilukujen joukossa.

Erikieliset vastineet

for all (luo nimityssivu)	englanti (English)
universal quantifier (luo nimityssivu)	englanti (English)

Alaviitteet

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

Siirry tarkastelemaan sivun muokkaushistoriaa →