En este trabajo abordamos los conceptos de la logica proposicional enmarcados en la teoria general de sistemas con el enfoque de Bertalanffy, quien define un sistema como una coleccion de partes abstractas, interrelacionadas, con objetivos especificos en un entorno llamado super sistema. Para nuestro caso el super sistema es el conjunto de todas las proposiciones logicas, los conectores o procesos logicos y sus propiedades. Interpretamos los operadores logicos o, y, no como procesos o sistemas dinamicos que cambia de estado segun los valores de verdad de la entrada del sistema. Por ejemplo el proceso o lo interpretamos como un sistema dinamico que responde ante dos entradas, valores de verdad de las proposiciones P y Q , proporcionando una salida P o Q , con 4 posibles estados. Analogamente para los procesos restantes. La simulacion la implementamos con macros interactivos en Geogebra, donde el usuario puede cambiar los valores de verdad de las entradas. Para el estudio de las reglas de inferencias derivadas de los procesos o, y, no , el tratamiento es similar, solo que introducimos una entrada y una salida para conjeturar sobre la otra entrada, en el caso de procesos binarios. Extendemos la misma metodologia a expresiones proposicionales menos sencillas, implementandolas en Geogebra, donde podemos ver sus diferentes estados, Tabla de Verdad, o encontrar reglas de inferencia, segun el caso, con la opcion de cambiar los valores de verdad de las entradas y obtener de forma automatica la salida. Un ejemplo es (P→Q) o (P→R) Esta forma de ensenar la logica proporcional la usamos en el curso de Logica matematica para primer semestre de Universidad en las carreras de Ingenieria en Manizales, Colombia.
Tópico:
Logic, programming, and type systems
Citaciones:
0
Citaciones por año:
No hay datos de citaciones disponibles
Altmétricas:
No hay DOI disponible para mostrar altmétricas
Información de la Fuente:
Fuente[2019] Congreso Internacional de Educación y Aprendizaje