Also known as quantor, logical quantification, logical quantifier, quantification
indicador en la lógica formal que cuantifica la cantidad de veces que se repite un elemento con una determinada característica
En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo, pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los más utilizados están: * Cuantificador universalPara todo x, y... * Cuantificador existencialExiste al menos un x, y... * Cuantificador existencial únicoExiste exactamente un x, y... * Negación del cuantificador existencialNo existe ningún x, y...
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).