Universaliteit

(Doorverwezen vanaf Alkwantor)

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 .

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  -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.

In dit gedeelte vormt een predicaat het domein over de gebonden variabelen. Zo kan de beperking worden opgelegd:  , 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".

De beperking van een domein met een voorwaarde komt overeen met het toevoegen van een implicatie:

 

komt overeen met

 

en (als vanwege de context   niet vermeld hoeft te worden):

 

komt overeen met

 

Propositie

bewerken

Hier volgt ook een propositie die iets over alle elementen uit het beschreven domein zegt. Hierin kunnen ook alkwantoren of existentiële kwantoren voorkomen, zodat er een geneste structuur ontstaat. 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   een geheel getal is. Wiskundigen noteren:

 .

"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   een geheel getal is. Dit geldt bijvoorbeeld niet voor x = 1/2. Men noteert in dit geval:

 

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

Merk op dat uitspraak 2 ook geformuleerd kan worden als

 

waar   de existentiekwantor is.

Equivalentieregels

bewerken

Domeinverzwakking:  

Domeinsplitsing:  

DeMorgan:   en  

Waarbij P, Q en R proposities zijn.

Zie ook

bewerken