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

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...

Full description

Bibliographic Details
Main Authors: Feliciano Morales Angelino, René Edmundo Cuevas Valencia, Gustavo Adolfo Alonso Silverio, Antonio Alarcón Paredes, Arnulfo Catalán Villegas
Format: Article
Language:English
Published: Universidad Autónoma del Estado de Morelos 2019-10-01
Series:Programación Matemática y Software
Subjects:
Software educativo
Estructura lógica
WinKE
tablas semánticas
Online Access:https://progmat.uaem.mx/progmat/index.php/progmat/article/view/210

Internet

https://progmat.uaem.mx/progmat/index.php/progmat/article/view/210

Similar Items