por Alberto MEJÍAS
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