Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica

León Rojas, Alexander Nabí

dc.contributor.advisor	Niquín Alayo, Esmelin
dc.contributor.author	León Rojas, Alexander Nabí
dc.date.accessioned	2017-09-28T20:42:53Z
dc.date.available	2017-09-28T20:42:53Z
dc.date.issued	2017
dc.date.issued	2017	es_PE
dc.identifier.uri	http://repositorio.unasam.edu.pe/handle/UNASAM/1633
dc.description.abstract	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.
dc.description.uri	Tesis
dc.language.iso	spa
dc.publisher	Universidad Nacional Santiago Antúnez de Mayolo
dc.rights	info:eu-repo/semantics/openAccess
dc.source	Universidad Nacional Santiago Antúnez de Mayolo
dc.source	Repositorio Institucional Digital - UNASAM
dc.subject	Semántica
dc.subject	Sintáctica
dc.subject	Satisfacible
dc.subject	Tautología
dc.title	Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica
dc.type	info:eu-repo/semantics/bachelorThesis
thesis.degree.level	Título Profesional
thesis.degree.name	Licenciado en Matemática
thesis.degree.grantor	Universidad Nacional Santiago Antúnez de Mayolo.Facultad de Ciencias
thesis.degree.discipline	info:eu-repo/semantics/bachelorThesis