Also known as for every, for all, given any, for any, any
indicador en la lógica formal que sirve para indicar que cierta característica se encuentra en todos los elementos de un conjunto
En lógica, se usa el símbolo , denominado cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).