por Carmen SANCHEZ DÍEZ
En la exposición de definiciones, teoremas, conclusiones relativas a afirmaciones, negaciones o interpretaciones de muy diversos resultados, aparecen siempre en la matemática, y en todas sus ramas, expresiones de tipo lógico que están generalmente controladas por cuantificadores tanto universales como existenciales. Son funciones de símbolos cuya estructura lógica es la de una función proposicional.
27 octubre 2012