Propuesta sobre la enseñanza de la demostración de implicaciones		Geovany Sanabria B.

Inicio  1  2  3  4  5  6  7

 

La enseñanza de la demostración

Durante el primer año de estudios en las carreras de matemática y enseñanza de matemática usualmente se estudia la enseñanza de la demostración, en donde se quiere ver la matemática, en su esencia y estructura, como una disciplina que se encarga de formular, estructurar y sintetizar modelos generales, con los cuales se pueden simular y representar diversos problemas para solucionarlos. $\medskip\medskip$

Las demostraciones, consideradas problemas de conclusión conocida, engendran en el estudiante una nueva concepción de matemática muy distinta a la presente en secundaria. En esta nueva concepción se introducen conceptos desconocidos en su mayoría: axiomas, teoremas, definiciones, ...; además se introduce la práctica de habilidades: conjeturar, realizar un contraejemplo, inducir, deducir, justificar y generalizar. $\medskip\medskip$

El éxito que tenga el estudiante en su carrera es, sin dudas, proporcional al apredizaje y desarrollo de estas habilidades. Por lo tanto, sería importante educar a los estudiantes en la forma de articular sus pensamientos para resolver un problema de conclusión conocida, y una forma de lograrlo es mediante una comprensión adecuada de los métodos de demostración. En este documento interesan los métodos de demostración de implicaciones.

Generalmente, la enseñanza de la demostración de una implicación se desarrolla de dos maneras:

1. Desde la lógica matemática. $\medskip\newline$En este enfoque se abordan las conectivas lógicas, las tablas de verdad, las leyes de la lógica, las inferencias lógicas y posteriormente la demostración de proposiciones de la forma $%% \lq\lq H\Longrightarrow C''$. Usualmente los métodos de demostración de implicaciones se estudian por medio de la enseñanza de Teoría de Conjuntos o se recurre a la Teoría de Números, en proposiones como: $%% \medskip$
   1. Si $A\subseteq B$ entonces $A\cap B=A.\medskip$

   2. Si $p$ es primo entonces $2^{p-1}\left( 2^{p}-1\right)$ es un número perfecto. $\medskip\medskip$

2. Desde la lógica intuitiva. $\medskip\newline$ Se recurre a una interpretación intuitiva del implica, en donde se le enseña al estudiante que para demostrar teoremas de la forma $%% \lq\lq H\Longrightarrow C'',$ se asume la hipótesis $H$ y se utiliza junto con axiomas, definiciones y teoremas demostrados para deducir la conclusión $%% C.$ Aquí es común introducir la demostración junto con la estructura de campo totalmente ordenado de $%% \mathbb{R}$ ó con la Teoría de Conjuntos. $\medskip\medskip$

En ambas orientaciones, la enseñanza de los métodos de demostración de implicaciones es ligada con la enseñanza de una teoría de la matemática, esto genera ciertas dificultades, veamos: $\medskip\medskip$

1. La teoría suele tener muchas definiciones o axiomas, por lo que se enseña la demostración dentro de una estructura muy amplia. Así, al tener tantos elementos, la enseñanza de la demostración se puede complicar para el estudiante.$\medskip$

2. Se abordan dos objetos de enseñanza simultáneamente: la demostración y la teoría. El estudiante no puede concentrarse únicamente en desarrollar la habilidad de demostrar, debe aprender axiomas, definiciones y teoremas.$\medskip$

3. La demostración dependiente de una teoría. El estudiante tiene que desligar los métodos de demostración de la teoría y transponerlos a otra. $\medskip\medskip$

Antes de continuar, debe quedar claro que no se pretende criticar estas dificultades, recuerde que el proceso de enseñanza aprendizaje implica que el estudiante supere algunas dificultades. $\medskip\medskip$

Así, se propone simplemente un cambio de enfoque, enseñar los métodos de demostración de implicaciones por medio de pequeñas estructuras axiomáticas, evitando dichas dificultades. $\medskip\medskip$

Seguidamente se presentan los métodos de demostración y ejemplos acordes con lo propuesto. Dicha presentación se realizará desde la lógica matemática, por ello se utilizarán definiciones de la lógica (contingencia, falacia, Modus Ponens, ...) que en caso de duda el lector los puede encontrar en la mayoría de libros sobre este tema. Dicha presentación es fácilmente adaptable a la segunda orientación: la lógica intuitiva.

Inicio  1  2  3  4  5  6  7

Cidse - Revista virtual Matemática, Educación e Internet - ITCR
Derechos Reservados