xmlui.ArtifactBrowser.AdvancedSearch.title

Show simple item record

dc.contributor.advisorPiscoya Hermoza, Luis Adolfo
dc.contributor.authorMerma Mora, Miguel Angel
dc.date.accessioned2018-05-18T07:15:42Z
dc.date.available2018-05-18T07:15:42Z
dc.date.issued2017
dc.identifier.citationMERMA Mora, Miguel Angel. Una interpretación algebraica de la lógica de primer orden. Tesis (Magíster en Filosofía con mención en Epistemología). Lima, Perú: Universidad Nacional Mayor de San Marcos, Facultad de Letras y Ciencias Humanas, Unidad de Posgrado, 2017. 63 h.
dc.identifier.urihttps://hdl.handle.net/20.500.12672/7436
dc.description.abstractEn la tesis de licenciatura de Miguel Angel Merma Mora, autor de la presente investigación, se establece una interpretación algebraica de la lógica proposicional y del lenguaje predicativo monádico en un nivel básicamente intuitivo, ya que en esa investigación no interpreta algebraicamente los axiomas del cálculo lógico de primer orden. En esta tesis de maestría se interpreta algebraicamente cada uno de los seis axiomas de la lógica de primer orden, logrando con ello rigor y generalidad. También se establece que la interpretación funciona, tanto para la lógica proposicional, como para el lenguaje predicativo poliádico y se ofrece una buena cantidad de ejemplos ilustrativos.
dc.description.uriTesis
dc.language.isospa
dc.publisherUniversidad Nacional Mayor de San Marcos
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/4.0/
dc.sourceUniversidad Nacional Mayor de San Marcos
dc.sourceRepositorio de Tesis - UNMSM
dc.subjectLógica de primer orden
dc.subjectLógica matemática
dc.titleUna interpretación algebraica de la lógica de primer orden
dc.typeinfo:eu-repo/semantics/masterThesis
thesis.degree.nameMagíster en Filosofía con mención en Epistemología
thesis.degree.grantorUniversidad Nacional Mayor de San Marcos. Facultad de Letras y Ciencias Humanas. Unidad de Posgrado
thesis.degree.levelMaestria
thesis.degree.disciplineFilosofía con mención en Epistemología
dc.subject.ocdeFilosofía
dc.publisher.countryPE
renati.advisor.dni07935998
renati.advisor.orcidhttps://orcid.org/0000-0002-8875-4573
renati.levelhttps://purl.org/pe-repo/renati/level#maestro
renati.typehttps://purl.org/pe-repo/renati/type#tesis


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

info:eu-repo/semantics/openAccess
Except where otherwise noted, this item's license is described as info:eu-repo/semantics/openAccess