SEP DGIT SEIT
INSTITUTO TECNOLÓGICO DE MINATITLAN
Conclusiones
Todo enunciado puede ser planteado en
términos de teoremas. Un teorema por lo general es resultado de un planteamiento
de un problema, este planteamiento debe tener el siguiente formato.
(p1 Ù p2 Ù.......Ù
pn) Þ q
Como se establece p1, p2 ,......,pn son hipótesis (o premisas) derivadas del mismo problema y que se consideran válidas.
Pero además deberán conectarse con el
operador And (Ù), lo cual implica que p1 es cierta y (Ù) p2 es verdad y
(Ù)...... y pn también es cierta entonces (Þ) la conclusión (q) es cierta. Para
realizar la demostración formal del teorema se deberá partir de las hipótesis, y
después obtener una serie de pasos que también deben ser válidos, ya que son
producto de reglas de inferencia. Sin embargo no solamente las hipótesis y
reglas de inferencia pueden aparecer en una demostración formal, sino también
tautologías conocidas. En el teorema anterior cada uno de los pasos p1, p2,...pn
son escalones que deberán alcanzarse hasta llegar a la solución.
Lo mismo ocurre con todo tipo de problemas
que se nos presentan en la vida, antes de llegar a la solución debemos alcanzar
ciertas metas (p1,p2,....pn) hasta llegar al objetivo o conclusión (q). Pero una
vez que logramos el objetivo debemos plantearnos nuevos objetivos que nos
permitirán superarnos.
Estos
conocimiento bien pueden ser transportados a áreas como la de el estudio de
autómatas y otras áreas , de tal manera que le auxilien para entender y resolver
otro tipo de problemas. En el caso de computación cada línea de un programa se
obtiene inconcientemente aplicando una regla de inferencia y por lo tanto cada
instrucción tiene su orden en que debe de ir colocada, si se cambia esa línea
seguramente el resultado ya no será igual. Pero hay tantas formas de resolver un
problema por medio de un programa como alumnos distintos tenga un maestro.
Una demostración formal equivale a relacionar
esquemas para formar estructuras cognitivas. Sí el alumno sabe inferir
soluciones lógicas, estará en condiciones de resolver todo tipo de problemas.
Uno de los objetivos principales del constructivismo, es la construcción del conocimiento