por Alberto MEJÍAS

(Alberto R. MEJÍAS E. es Licenciado en Matemática por la Universidad de Los Andes_ULA. Profesor de Análisis y de Topología, es jubilado de dicha Universidad)

E-Mail: alrame59@cantv.net

Se presenta el Método de las Tablas Semánticas como un instrumento heurístico que proporciona una forma sistemática para construir un contraejemplo, si éste existe. Se consideran dos casos: el primero muestra que, en efecto, podemos hallar un contraejemplo; el segundo, muestra que nuestro intento sistemático (y, de hecho, cualquier otro intento) de construir un contraejemplo, falla.

22 abril 2006