Universaliteit

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

Universaliteit betekent in de wiskunde en logica dat een eigenschap voor alle elementen van een verzameling geldt. De bijbehorende universele kwantor (of al-kwantor) wordt genoteerd als \forall.

De alkwantor bestaat uit drie delen:

Deze zullen hieronder uitvoeriger beschreven worden.

Declaratie[bewerken]

Het eerste gedeelte beschrijft de gebonden variabelen. Deze heten gebonden, aangezien deze alleen voor mogen komen binnen de haakjes van dit \forall-predicaat. Buiten de haakjes is de waarde van zo'n variabele ongedefinieerd en dus onbruikbaar. Hier mogen meerdere variabelen tegelijkertijd gedeclareerd worden, doorgaans gescheiden door komma's.

Domein[bewerken]

In dit gedeelte vormt een predicaat het domein over de gebonden variabelen. Zo kan je de beperking opleggen: x \in \mathbb N, dus in spreektaal: "voor alle natuurlijke getallen x". Wanneer het domein leeg is, dat wil zeggen de propositie die het domein beschrijft levert "onwaar" op, levert het predicaat met de alkwantor altijd "waar" op, ongeacht de propositie die daarop volgt. Soms wordt het domein ook weggelaten, dan wordt uitgegaan van het domein "waar".

Propositie[bewerken]

Hier volgt ook een propositie die iets over alle elementen uit het beschreven domein zegt. Er kunnen hier ook alkwantoren of existentiële kwantoren in voorkomen, zodat je een geneste structuur krijgt. Variabelen die gedeclareerd zijn, zijn bruikbaar in geneste kwantoren, maar niet andersom!

Voorbeelden[bewerken]

De volgende uitspraak is waar: voor alle gehele getallen z geldt dat  z^2 een geheel getal is. Wiskundigen noteren:

\forall z \in \mathbb{Z} : z^2 \in \mathbb{Z}. .

"voor alle z die element zijn van Z geldt dat z kwadraat element is van Z"

De volgende uitspraak is echter onjuist: voor alle reële getallen x geldt dat  x^2 een geheel getal is. Dit geldt bijvoorbeeld niet voor x = 1/2. Men noteert in dit geval:

\not\forall x \in \mathbb{R} : x^2 \in \mathbb{Z}.

In het eerste geval geldt universaliteit, in het tweede geval niet.

Merk op dat uitspraak 2 ook geformuleerd kan worden als

\exists x \in \mathbb{R} : x^2 \notin \mathbb{Z},

waar \exists de existentiekwantor is.

Equivalentieregels[bewerken]

Domeinverzwakking: (\forall x : P \wedge Q : R) \Leftrightarrow (\forall x : P : Q \Rightarrow R)

Domeinsplitsing: (\forall x : P \or Q : R) \Leftrightarrow (\forall x : P : R) \wedge (\forall x : Q : R)

DeMorgan: \neg (\forall x : P : Q) \Leftrightarrow (\exists x : P : \neg Q ) en \neg (\exists x : P : Q) \Leftrightarrow (\forall x : P : \neg Q )

Waarbij P, Q en R proposities zijn.

Zie ook[bewerken]