Look-up in Google Scholar
Full metadata record
Niquín Alayo, Esmelin
León Rojas, Alexander Nabí
2017-09-28T20:42:53Z
2017-09-28T20:42:53Z
2017-09-28T20:42:53Z
2017-09-28T20:42:53Z
2017 (es_PE)
2017
http://repositorio.unasam.edu.pe/handle/UNASAM/1633
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.
Tesis
spa
Universidad Nacional Santiago Antúnez de Mayolo
info:eu-repo/semantics/openAccess
Universidad Nacional Santiago Antúnez de Mayolo
Repositorio Institucional Digital - UNASAM
Sintáctica
Tautología
Semántica
Satisfacible
Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica
info:eu-repo/semantics/bachelorThesis
Universidad Nacional Santiago Antúnez de Mayolo.Facultad de Ciencias
info:eu-repo/semantics/bachelorThesis
Título Profesional
Licenciado en Matemática
Pública



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.