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.es
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.es
dc.description.uriTesises
dc.language.isospaes
dc.publisherUniversidad Nacional Mayor de San Marcoses
dc.rightsinfo:eu-repo/semantics/openAccesses
dc.rights.urihttps://creativecommons.org/licenses/by-nc/3.0/
dc.sourceUniversidad Nacional Mayor de San Marcoses
dc.sourceRepositorio de Tesis - UNMSMes
dc.subjectLógica de primer ordenes
dc.subjectLógica matemáticaes
dc.titleUna interpretación algebraica de la lógica de primer ordenes
dc.typeinfo:eu-repo/semantics/masterThesises
thesis.degree.nameMagíster en Filosofía con mención en Epistemologíaes
thesis.degree.grantorUniversidad Nacional Mayor de San Marcos. Facultad de Letras y Ciencias Humanas. Unidad de Posgradoes
thesis.degree.levelMaestriaes
thesis.degree.disciplineFilosofía con mención en Epistemologíaes
dc.subject.ocdeFilosofíaes


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