Una interpretación algebraica de la lógica de primer orden
Descripción del Articulo
En 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 axiom...
| Autor: | |
|---|---|
| Formato: | tesis de maestría |
| Fecha de Publicación: | 2017 |
| Institución: | Universidad Nacional Mayor de San Marcos |
| Repositorio: | UNMSM-Tesis |
| Lenguaje: | español |
| OAI Identifier: | oai:cybertesis.unmsm.edu.pe:20.500.12672/7436 |
| Enlace del recurso: | https://hdl.handle.net/20.500.12672/7436 |
| Nivel de acceso: | acceso abierto |
| Materia: | Lógica de primer orden Lógica matemática https://purl.org/pe-repo/ocde/ford#6.03.01 |
| Sumario: | En 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. |
|---|
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).
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).
