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

Descripción del Articulo

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óg...

Descripción completa

Detalles Bibliográficos
Autor: León Rojas, Alexander Nabí
Formato: tesis de grado
Fecha de Publicación:2017
Institución:Universidad Nacional Santiago Antúnez de Mayolo
Repositorio:UNASAM-Institucional
Lenguaje:español
OAI Identifier:oai:172.16.0.151:UNASAM/1633
Enlace del recurso:http://repositorio.unasam.edu.pe/handle/UNASAM/1633
Nivel de acceso:acceso abierto
Materia:Semántica
Sintáctica
Satisfacible
Tautología
Descripción
Sumario: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.
Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica
Nota importante:
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).

Ejemplares Similares