Lógica proposicional : sintaxis y semántica

La traducción del lenguaje natural al lenguaje formal es un proceso, que no es tan sencillo como en ocasiones se piensa, es más, por lo general a los estudiantes le cuesta realizarlo y se convierte para ellos en un gran problema. La correcta traducción del lenguaje natural al lenguaje formal constit...

Descripción completa

Detalles Bibliográficos
Autor principal: De Diego, Iselgis J. (autor)
Formato: Tesis Conjunto Libro
Lenguaje:Spanish
Materias:
Acceso en línea:http://up-rid.up.ac.pa/1793/3/iselgis_dediego.pdf
Descripción
Sumario:La traducción del lenguaje natural al lenguaje formal es un proceso, que no es tan sencillo como en ocasiones se piensa, es más, por lo general a los estudiantes le cuesta realizarlo y se convierte para ellos en un gran problema. La correcta traducción del lenguaje natural al lenguaje formal constituye la base para, entre otras cosas, determinar la validez de un argumento. Es por ello, que con esta investigación se pretende brindar orientaciones para realizar la traducción del lenguaje natural al lenguaje formal de forma menos traumática para los estudiantes, además de presentar una herramienta tecnológica, Excel, la cual nos ayudará con la construcción de las tablas de verdad para determinar la validez de un argumento, puesto que, si se cuentan con más de tres premisas el método de la tabla de verdad se torna tedioso y son altas las probabilidades de cometer errores dada la cantidad de renglones con los cuales se deben trabajar. Esperamos que el mismo sea de gran beneficio para los docentes y los estudiantes.
Notas:“Trabajo presentado para optar por el título de magíster en Ciencias con Especialización en Matemática Educativa”. – Página de título.
En: UP-RID
Descripción Física:xiv, 146 páginas : ilustraciones, cuadros, tablas ; 28 cm
1 disco de computadora : digital ; 43/4 plg.