File:QuantifierScopes_svg.svg · Wikimedia Commons · See Wikimedia Commons
cuantificador
Sign in to saveAlso 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
Article · Español
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