Universaliteit
Uit Wikipedia, de vrije encyclopedia
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:
- Declaratie van gebonden variabelen;
- Specificatie van het domein;
- Propositie.
Deze zullen hieronder uitvoeriger beschreven worden.