LÓGICA MATEMÁTICA
Documento de Apoyo Función enunciativa, En la lógica formal se habla de predicados que a nivel elemental hablamos de funciones enunciativas, las cuales poseen una o dos variables, su característica principal es que al ser remplazadas sus variables la expresión se convierte en enunciado, el conjunto donde tomamos los elementos para remplazar en las variables de la función enunciativa lo llamaremos DOMINIO de la función enunciativa y se lo denota con D. Cuantificadores: Los cuantificadores más utilizados en lógica matemática son UNIVERSAL ∀ y EXISTENCIAL ∃ , el cuantificador universal se utiliza cuando todos los elementos del dominio de la función enunciativa cumplen con la propiedad, el cuantificador existencial se utiliza cuando existe al menos un elemento que cumple la propiedad, es de saberse que cuando un cuantificador se antepone a una función, esta se convierte en un enunciado, cuando se tiene los cuantificadores combinados y estos se los procede a negar l