Skip to content
EntityQ126695· pop 32· linked from 488 articles

universaliteit

Sign in to save

Also known as for every, for all, given any, for any, any

logical quantification stating that a statement holds for all objects

Article · Nederlands

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.

Abstract from DBpedia / Wikipedia · CC BY-SA