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
id RUNM_f750f3baa4fa83fb53b93033625d1d4a
oai_identifier_str oai:172.16.0.151:UNASAM/1633
network_acronym_str RUNM
network_name_str UNASAM-Institucional
repository_id_str 4788
spelling Niquín Alayo, EsmelinLeón Rojas, Alexander Nabí2017-09-28T20:42:53Z2017-09-28T20:42:53Z20172017http://repositorio.unasam.edu.pe/handle/UNASAM/1633En 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.Made available in DSpace on 2017-09-28T20:42:53Z (GMT). No. of bitstreams: 1 T033_40788230_T.pdf: 919307 bytes, checksum: d6aaf7d70294c75ded8b91d63fbd3cd3 (MD5)TesisspaUniversidad Nacional Santiago Antúnez de Mayoloinfo:eu-repo/semantics/openAccessUniversidad Nacional Santiago Antúnez de MayoloRepositorio Institucional Digital - UNASAMreponame:UNASAM-Institucionalinstname:Universidad Nacional Santiago Antúnez de Mayoloinstacron:UNASAMSemánticaSintácticaSatisfacibleTautologíaUn estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásicainfo:eu-repo/semantics/bachelorThesisSUNEDUTítulo ProfesionalLicenciado en MatemáticaUniversidad Nacional Santiago Antúnez de Mayolo.Facultad de Cienciasinfo:eu-repo/semantics/bachelorThesisTEXTT033_40788230T-edit.pdf.txtT033_40788230T-edit.pdf.txtExtracted texttext/plain156621http://172.16.0.151/bitstream/UNASAM/1633/4/T033_40788230T-edit.pdf.txt823605f3601a8f5cff239c958852b93fMD54ORIGINALT033_40788230T-edit.pdfT033_40788230T-edit.pdfapplication/pdf1066811http://172.16.0.151/bitstream/UNASAM/1633/3/T033_40788230T-edit.pdf5f65908dd0ce95fc04282f5a7b843939MD53UNASAM/1633oai:172.16.0.151:UNASAM/16332021-11-25 09:22:55.379DSpaceweduardov2005@gmail.com
dc.title.none.fl_str_mv Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica
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
spellingShingle 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í
Semántica
Sintáctica
Satisfacible
Tautología
title_short Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica
title_full Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica
title_fullStr Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica
title_full_unstemmed Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica
title_sort Un estudio de los teoremas de corrección, completud y compacidad de un cálculo axiomático de la Lógica Proposicional clásica
author León Rojas, Alexander Nabí
author_facet León Rojas, Alexander Nabí
author_role author
dc.contributor.advisor.fl_str_mv Niquín Alayo, Esmelin
dc.contributor.author.fl_str_mv León Rojas, Alexander Nabí
dc.subject.none.fl_str_mv Semántica
Sintáctica
Satisfacible
Tautología
topic Semántica
Sintáctica
Satisfacible
Tautología
description 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.
publishDate 2017
dc.date.accessioned.none.fl_str_mv 2017-09-28T20:42:53Z
dc.date.available.none.fl_str_mv 2017-09-28T20:42:53Z
dc.date.issued.fl_str_mv 2017
2017
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
dc.identifier.uri.none.fl_str_mv http://repositorio.unasam.edu.pe/handle/UNASAM/1633
url http://repositorio.unasam.edu.pe/handle/UNASAM/1633
dc.language.iso.none.fl_str_mv spa
language spa
dc.relation.ispartof.fl_str_mv SUNEDU
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidad Nacional Santiago Antúnez de Mayolo
publisher.none.fl_str_mv Universidad Nacional Santiago Antúnez de Mayolo
dc.source.none.fl_str_mv Universidad Nacional Santiago Antúnez de Mayolo
Repositorio Institucional Digital - UNASAM
reponame:UNASAM-Institucional
instname:Universidad Nacional Santiago Antúnez de Mayolo
instacron:UNASAM
instname_str Universidad Nacional Santiago Antúnez de Mayolo
instacron_str UNASAM
institution UNASAM
reponame_str UNASAM-Institucional
collection UNASAM-Institucional
bitstream.url.fl_str_mv http://172.16.0.151/bitstream/UNASAM/1633/4/T033_40788230T-edit.pdf.txt
http://172.16.0.151/bitstream/UNASAM/1633/3/T033_40788230T-edit.pdf
bitstream.checksum.fl_str_mv 823605f3601a8f5cff239c958852b93f
5f65908dd0ce95fc04282f5a7b843939
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv DSpace
repository.mail.fl_str_mv weduardov2005@gmail.com
_version_ 1852318741522546688
score 13.086723
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