5-. Matemàtica
Construcción del conocimiento matemático
En la matemática se ha construido como respuesta a preguntas que han sido traducidas en otros tantos problemas.
Por lo tanto, como se describe en el modelo normativo: comunicar un saber a los alumnos, el maestro muestra las nociones, el alumno: aprende, imita, ejercita y aplica; el saber ya está construido.
Un sistema axiomático se encuentra los siguientes componentes.
· Conjunto de símbolos para conectivas logicas, cuantificadora.
· Conjunto de símbolos para designar variables
· Conjunto de símbolos para constantes (que tendrán en un modelo una interpretación fija).
· Conjunto de símbolos que serán interpretados como funciones.
· Conjunto de símbolos que serán interpretados como relaciones.
Concepto primitivo
Definiciones Matemáticas
Es concretar, indicar,expresar un límite que separa un objeto de los demás.Está comprendida por 3 estructuras las cuales son: La definición,el teorema y la demostracción matemática.Las definiciones marcan los conceptos de importancia en la teoría,los teoremas enuncian lo verdadero en los conceptos y las demostraciones dejan ver lo concluyente de esas afirmaciones.Los objetos matemáticos constan mediante definiciones.Por ejemplo un número puede ser un natural y se le da el nombre número compuesto o número primo, par o impar.
Los axiomas
Un axioma es una proposición que se considera evidente y se acepta sin requerir demostración previa en un sistema hipotético-deductivo siendo toda proposición no deducida (de otras), sino que constituye una regla general de pensamiento lógico, teniendo en cuenta la logica y las matemticas, esta axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente los axiomas se eligen de las consideradas «afirmaciones evidentes», porque permiten deducir las demás fórmulas.
Un teorema requiere de un marco lógico, este marco consistirá en un conjunto de axiomas y un proceso de inferencia, el cual permite derivar teoremas a partir de los axiomas y teoremas que han sido derivados previamente. En matemática una afirmación debe ser interesante o importante dentro de la comunidad matemática para ser considerada un teorema. Las afirmaciones menos importantes se denominan:
·Corolario: una afirmación que sigue inmediatamente a un teorema.
·Proposición: una afirmación o resultado no asociado a ningún teorema en particular.