Application of Winke in deductions by semantic methods in propositional logic

Authors

  • Feliciano Morales Angelino Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro
  • René Edmundo Cuevas Valencia Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro
  • Gustavo Adolfo Alonso Silverio Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro
  • Antonio Alarcón Paredes Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro
  • Arnulfo Catalán Villegas Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

DOI:

https://doi.org/10.30973/progmat/2019.11.3/4

Keywords:

Educational software, logical structure, WinKE, semantic tables

Abstract

In this article we describe the analysis of educational software that allows us to demonstrate logical structures through semantic methods. Once the analysis was carried out, it was determined to use the educational software called WinKE to implement a didactic strategy on the demonstration of logical structures by means of the Semantic Tables method for Propositional Logic corresponding to the Computer Logic Learning Unit of the Educational Program of Engineers in computing. It is evident that the application of this software has allowed the student to strengthen his abilities to identify the rules and the order in which they should be used in the demonstration of logical structures efficiently.

Author Biographies

Feliciano Morales Angelino, Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

Tiene estudios de LICENCIADO EN MATEMÁTICA EDUCATIVA Y MAESTRO EN CIENCIAS ÁREA MATEMATICA ECUCATIVA, profesor Investigador de Tiempo Completo en la Facultad de Ingeniería dependiente de la Universidad Autónoma de Guerrero, Perfil PROMEP desde 2006. Integrante del Cuerpo Académico Desarrollo Tecnológico Aplicado (UAGRO-CA-178), adscrito a la U.A.G., ha participado eventos nacionales e internacionales como SOMECE, ACADEMIA JOURNALS, FORO DE ESTUDIOS SOBRE GUERRERO, 4º FORO INTERNACIONAL DE MULTICULTURALIDAD, CICOM, 3er ENCUENTRO REGIONAL DE TUTORIAS DE LA REGIÒN CENTRO SUR, III EVENTO INTERNACIONAL DE LA MATEMÀTICA , LA FÌSICA Y LA INFORMÀTICA EN EL SIGLO XXI, CONGRESO IBEROAMERICANO DE APRENDIZAJE MEDIADO POR TECNOLOGÍA, CONGRESO INTERDISCIPLINARIO DE ENERGÍAS, publicado en revistas electrónicas

René Edmundo Cuevas Valencia, Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

Es profesor investigador de tiempo completo en la Facultad de Ingeniería de la Universidad Autónoma de Guerrero. Obtuvo el grado de doctor en Enseñanza Superior (2013) por el Centro de Investigación y Docencia en Humanidades del Estado de Morelos (CIDHEM); Cuenta con un PostDoctorado en Humanidades (2015) con Eje de Investigación: Educación y Tecnología por la Universidad del Zulia en Venezuela; con Maestría (2005) y Licenciatura en Computación (1999) por la Facultad de Ingeniería de la UAGro. Actualmente su línea de investigación es sobre Aplicaciones e Impacto de las TIC en la Educación. Miembro del Sistema Estatal de Investigadores en Guerrero desde 2010 a la fecha, Miembro del Sistema Nacional de Investigadores por el periodo 2015-2017.

Gustavo Adolfo Alonso Silverio, Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

Profesor investigador de tiempo completo en la Facultad de Ingeniería de la Universidad Autónoma de Guerrero. Obtuvo el grado de doctor en ciencias por parte del Centro de Investigación y Estudios Avanzados del Instituto Politécnico Nacional (CINVESTAV-IPN) en doble titulación con la Universidad de Perpignan Via Domitia, Francia. Con maestría en ciencias con especialidad en Ingeniería Eléctrica por parte del CINVESTAV – IPN. Actualmente su línea de investigación es sobre dispositivos dedicados e inteligencia artificial para el desarrollo de instrumentación inteligente. Miembro del sistema Nacional de Investigadores nivel 1.

Antonio Alarcón Paredes, Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

Profesor investigador en la Facultad de Ingeniería de la Universidad Autónoma de Guerrero, en México. Obtuvo el título de Ingeniero en Sistemas Computacionales, en el año de 2007; en 2009 recibió el grado de Maestro en Ciencias (M. en C.) en Ingeniería de Cómputo por el Centro de Investigación en Computación, México, del Instituto Politécnico Nacional, y su Doctorado en Ciencias de la Computación del mismo Centro en el Instituto Politécnico Nacional, en 2013. Ha realizado diversas estancias de investigación, entre las cuales destaca una estancia en la Universidad Tecnológica de Dinamarca, en Copenhague. Sus principales áreas de interés en la investigación incluyen aprendizaje automático, reconocimiento de patrones, procesamiento y análisis de imágenes, así como cómputo inteligente.

Arnulfo Catalán Villegas, Facultad de Ingeniería de la Universidad Autónoma de Guerrero, Lázaro Cárdenas 88, Zona Sin Asignación Denombre de Col 21, Chilpancingo de los Bravo, Gro

Es profesor investigador en la Facultad de Ingeniería de la Universidad Autónoma de Guerrero, en México. Obtuvo el título de Ingeniero Civil por la misma facultad en el año de 1990; en 2000 recibió el grado de Maestro en Ciencias Computacionales (M. en C. C.) por el Instituto Tecnológico de Toluca, México, y su Doctorado en Ciencias de la Educación por la Escuela Superior “Justo Sierra”, en 2007. En 2009-2010 realizó un diplomado en Competencias Docentes, por la Asociación Nacional de Universidades e Instituciones de Educación Superior (ANUIES) a través de la Universidad Autónoma de Guerrero, Chilpancingo, Guerrero, México.

References

Cuevas, R., Feliciano, A., Miranda, A., & Catalán, A. (2015). Corrientes teóricas sobre aprendizaje combinado en la educación. Revista Iberoamericana de Ciencias, 2(1), 2334-2501.

Conole, G. (2015). Los MOOCs como tecnologías disruptivas: estrategias para mejorar la experiencia de aprendizaje y la calidad de los MOOCs. Campus virtuales, 2(2), 16- 28.

Cuevas Valencia, R. E., & Feliciano Morales, A. (2016). Grupos de trabajo administrados por redes sociales como apoyo a la práctica docente. RIDE. Revista Iberoamericana para la Investigación y el Desarrollo Educativo, 7(13), 183- 196.

Farrán Martín, J. I., Núñez Jiménez, C. A., & Sanz Gil, J. (2016). Docencia teórico-práctica y tutorización presenciales a distancia con ayuda de las TIC. VI Jornada de Innovación Docente de La Universidad de Valladolid

Laffita-Cuza, M., & RodríguezCarbonell, V. (2017). Las competencias comunicativas matemáticas y el uso de los softwares educativos en las clases de Matemática. Maestro y Sociedad, 14(2), 249-262.

Castro, S., & de Castro, B. G. (2017). Los estilos de aprendizaje en la enseñanza y el aprendizaje: una propuesta para su implementación. REVISTAS DE INVESTIGACIÓN, 9(58).

M. D’Agostino and M. Mondadori. (1994). The taming of the cut. Classical refutations with analytic cut. Journal of Logic and Computation, 4(3):285–319. https://doi.org/10.1093/logcom/4.3.285

García García, J. I., García Sánchez, P. A., & Urbano Blanco, J. M. (2016). Fundamentos lógicos de la programación.

Manzo, María. Tableaux Lógica Proposicional. (2009) Recuperado 04/03/2018. Universidad de Salamanca. http://ocw.usal.es/eduCommons/ensenanzas-tecnicas/logicamatematica/contenidos/1_PRIMERA_PARTE/ LP_Beamer/BeamerTableauxProposicional.pdf

Valencia, R. E. C., Morales, A. F., & Morales, S. F. (2013). Diseño de un sistema para generar tablas semánticas. Revista vínculos, 10(2), 93-104. https://doi.org/10.14483/2322939X.6454

Salguero Lamillar, F. J., & Soler Toscano, F. (2010). Resolución abductiva de anáforas pronominales. Estudios de Lógica, Lenguaje y Epistemología.

Downloads

Published

2019-10-31

How to Cite

Morales Angelino, F., Cuevas Valencia, R. E., Alonso Silverio, G. A., Alarcón Paredes, A., & Catalán Villegas, A. (2019). Application of Winke in deductions by semantic methods in propositional logic. Programación Matemática Y Software, 11(3), 45–56. https://doi.org/10.30973/progmat/2019.11.3/4

Issue

Vol. 11 No. 3 (2019): Octuber, 2019

Section

Articles

License

Copyright (c) 2019 Programación Matemática y Software

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Usted es libre de:

Compartir — compartir y redistribuir el material publicado en cualquier medio o formato.
Adaptar — combinar, transformar y construir sobre el material para cualquier propósito, incluso comercialmente.

Bajo las siguientes condiciones:

Atribución — Debe otorgar el crédito correspondiente, proporcionar un enlace a la licencia e indicar si se realizaron cambios. Puede hacerlo de cualquier manera razonable, pero de ninguna manera que sugiera que el licenciador lo respalda a usted o a su uso.
  Sin restricciones adicionales: no puede aplicar términos legales o medidas tecnológicas que restrinjan legalmente a otros a hacer cualquier cosa que permita la licencia.

Most read articles by the same author(s)