Buscar en Google Scholar
Título: Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica
Asesor(es): Niquín Alayo, Esmelin
Fecha de publicación: 2017; 2017
Institución: Universidad Nacional Santiago Antúnez de Mayolo
Resumen: En este trabajo se estudian los teoremas de corrección, completud y compacidad en el marco de la Lógica proposicional clásica. Se detallan las demostraciones de estos teoremas y se analizan sus significados e implicaciones. Para lograr tal fin, previamente se realiza un estudio de los principios lógicos, la semántica y la sintáctica involucrados en la Lógica proposicional clásica. Finalmente, se concluye que esta lógica posee las propiedades de corrección (débil y fuerte), completud (débil y fuerte) y compacidad.
Disciplina académico-profesional: info:eu-repo/semantics/bachelorThesis
Institución que otorga el grado o título: Universidad Nacional Santiago Antúnez de Mayolo.Facultad de Ciencias
Grado o título: Licenciado en Matemática
Fecha de registro: 28-sep-2017; 28-sep-2017



IMPORTANTE
La información contenida en este registro es de entera responsabilidad de la universidad, institución o escuela de educación superior que administra el repositorio académico digital donde se encuentra el trabajo de investigación y/o proyecto, los cuales son conducentes a optar títulos profesionales y grados académicos. SUNEDU no se hace responsable por los contenidos accesibles a través del Registro Nacional de Trabajos de Investigación – RENATI.