Aplicación de WinKE en Deducciones por Métodos Semánticos en Lógica Proposicional

En el presente artículo se describe el análisis sobre software educativo que permita demostrar estructuras lógicas mediante métodos semánticos. Una vez realizado el análisis se determinó utilizar el software educativo denominado WinKE para implementar una estrategia didáctica sobre la demostración estructuras lógicas mediante el método de Tablas Semánticas para Lógica Proposicional correspondiente a la Unidad de Aprendizaje de Lógica Informática del Plan de Estudios del Programa Educativo de Ingeniero en Computación. Es evidente que la aplicación de este software ha permitido al estudiante fortalecer sus habilidades para identificar las reglas y el orden en que deban utilizarse en la demostración de las estructuras lógicas de manera eficiente.