A menudo ocurre que queremos probar afirmaciones que afirman que algo es cierto para cada elemento de un conjunto. Por ejemplo, “Cada número tiene una inversa aditiva”. Una declaración que comienza co...A menudo ocurre que queremos probar afirmaciones que afirman que algo es cierto para cada elemento de un conjunto. Por ejemplo, “Cada número tiene una inversa aditiva”. Una declaración que comienza con las palabras inglesas “every” o “all” se llama universalmente cuantificada. Se afirma que la afirmación sostiene para todo dentro de algún universo. Declaraciones que dicen algo sobre algunos (o incluso solo uno) de los elementos de nuestro universo se denominan existencialmente cuantificadas.
