Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Propuesta de enseñanza del método de los árboles de verdad en la corrección de argumentos

Pitalúa Polo, José Nicolás (2014) Propuesta de enseñanza del método de los árboles de verdad en la corrección de argumentos. Documento de trabajo. Sin Definir. (Enviado)

Texto completo

[img]
Vista previa
PDF - Versión Aceptada
Available under License Creative Commons Attribution Non-commercial No Derivatives.

539kB

Resumen

Resumen: En este trabajo busqué realizar una propuesta de enseñanza del método de los árboles de verdad para la lógica proposicional bivalente, como alternativa al método de las tablas de verdad, y obtener con dicho método las propiedades semánticas de una formula dada en el lenguaje proposicional de la lógica bivalente, determinar si un conjunto de fórmulas es consistente y finalmente para corregir argumentos ya sea que estén dados en el lenguaje proposicional de la lógica bivalente o traducidos al lenguaje proposicional desde el lenguaje natural que en este trabajo es el español. Dicha propuesta puede ser aplicada en la básica media de Colombia por docentes de filosofía o matemáticas. Puesto que los árboles de verdad se aplican específicamente para la determinación de la consistencia de un conjunto de fórmulas, definí todas las demás propiedades semánticas, en términos de consistencia. Para la corrección de argumentos, dividí la propuesta en dos etapas: traducción y aplicación propiamente dicha del método de los árboles de verdad en la corrección de argumentos. Primero de los que están dados en el lenguaje proposicional y segundo, de los argumentos traducidos al lenguaje proposicional, desde el lenguaje natural (español). Así los docentes que deseen aplicar la propuesta, encontrarán una organización de contenido que desde lo más sencillo a lo más complejo. Dado que no laboro en un colegio, propuse a varios profesores de grado décimo y undécimo tanto en Medellín, como en Montería, la aplicación de la propuesta, encontrándome en todos los casos con una respuesta negativa, ya que por una parte, muchos de ellos me comentaron que en sus colegios la materia de lógica no se imparte y por otra parte los que sí la imparten sólo manejan el método de las tablas de verdad, pues es el único que conocen. Así que en última instancia la propuesta está encaminada a que el docente de matemáticas o filosofía de la básica media en Colombia se apropie del método a medida que se decida a implementarlo., Abstract: In this paper I sought to make a proposal of teaching the method of truth trees bivalent propositional logic, as an alternative to the method of truth tables, and get with the method the semantic properties of a given formula in the propositional language bivalent logic to determine if a set of formulas is consistent and finally to correct arguments whether they are given in the language of logic propositional bivalent or translated into propositional language from the natural language in this work is the Spanish. This proposal can be applied in the middle of Colombia by basic philosophy or mathematics teachers. Since real trees apply specifically to consistency determining a set of formulas I defined all other semantic properties, in terms of consistency. For the correctness of arguments, the proposal I divided into two stages: translation and proper application of the method of truth trees to correct arguments. First of which are given in the propositional language and second, arguments translated into propositional language, from natural language (Spanish). So teachers who wish to implement the proposal, find an organization of content from the simplest to the most complex. Given that I work in a school, several teachers suggested to tenth and eleventh grade both in Medellin, as in Monteria, the implementation of the proposal, finding in all cases with a negative response, since on the one hand, many of them told me that in their schools the subject is not taught logic and moreover teach those who did only handle the method of truth tables, it is all they know. So ultimately the proposal is aimed at the teaching of mathematics or philosophy of average basic method appropriates Colombia as he decides to implement.

Tipo de documento:Documento de trabajo - Monograph (Documento de trabajo)
Palabras clave:Lógica, Árboles de verdad, Semántica, Educación, Logic, Truth trees, Semantic, Education
Temática:5 Ciencias naturales y matemáticas / Science
Unidad administrativa:Sede Medellín > Facultad de Ciencias
Código ID:12645
Enviado por : bdigital1_ med
Enviado el día :27 May 2014 14:24
Ultima modificación:27 May 2014 14:24
Ultima modificación:27 May 2014 14:24
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox