Also known as for every, for all, given any, for any, any
logical quantification stating that a statement holds for all objects
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
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).