En lógica de predicados, el método para expresar enunciados cuantificados universales y existenciales o particulares. Un enunciado cuantificado es una función proposicional a la que se añade un cuantificador.
En lógica de predicados, el método para expresar enunciados cuantificados universales y existenciales o particulares. Un enunciado cuantificado es una función proposicional a la que se añade un cuantificador.