Look-up in Google Scholar
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
Advisor(s): Niquín Alayo, Esmelin
Issue Date: 2017; 2017
Institution: Universidad Nacional Santiago Antúnez de Mayolo
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.
Discipline: info:eu-repo/semantics/bachelorThesis
Grade or title grantor: Universidad Nacional Santiago Antúnez de Mayolo.Facultad de Ciencias
Grade or title: Licenciado en Matemática
Register date: 28-Sep-2017; 28-Sep-2017



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