Publicación:
Cálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicional

Vista sencilla de ítem
dc.contributor.authorFuentes Guzmán, Daniel Camilospa
dc.date.accessioned2014-10-01T13:44:58Z
dc.date.available2014-10-01T13:44:58Z
dc.date.issued2014
dc.description53 Páginasspa
dc.descriptionRecurso Electrónicospa
dc.description.tableofcontentsIntroducción 7 1. Cálculo de secuentes 10 1.1 Secuentes 10 1.2 Reglas para los secuentes 12 1.3 Deducciones en el cálculo de secuentes 15 1.4 Sobre la equivalencia con otras presentaciones 20 2. Gráficos existenciales Alfa 21 2.1 El sistema original de Peirce 21 2.1.1 Formación 21 2.1.2 Reglas de transformación 23 2.1.3 Deducción 24 2.2 El sistema Alfa alternativo 26 2.2.1 Presentación del sistema 26 2.2.2 Sobre la equivalencia con el sistema original 31 3. Equivalencia 34 3.1 Cálculo de secuentes mediante gr´aficos Alfa 34 3.2 Gráficos Alfa alternativos mediante secuentes 47 Conclusiones 52 Biografía 53spa
dc.format.mimetypeapplication/pdfspa
dc.identifier.citationFuentes Guzmán, Daniel Camilo. Cálculo de secuentes y gráficos existenciales Alfa: dos estructuras equivalentes para la lógica proposicional. Ibagué : Universidad del Tolima, 2014. <http://repository.ut.edu.co/handle/001/1172>spa
dc.identifier.urihttps://repository.ut.edu.co/handle/001/1172
dc.language.isospaspa
dc.publisherIbagué : Universidad del Tolima, 2014spa
dc.publisher.providerCountryFacultad de Ciencias, Programa de Matemáticas con énfasis en Estadísticaspa
dc.rightsAtribución-NoComercial-CompartirIgual 2.5 Colombia (CC BY-NC-SA 2-5 CO)spa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.rights.urihttp://www.creativecommons.org/licenses by-nc/2.5/co/spa
dc.subjectSecuentesspa
dc.subjectGráficos existenciales Alfaspa
dc.subjectLógica proposicionalspa
dc.thesis.disciplineFacultad de Ciencias, Programa de Matemáticas con énfasis en Estadísticaspa
dc.thesis.grantorOostra, Arnold (Director)spa
dc.thesis.levelPregradospa
dc.thesis.nameProfesional en Matemáticas con énfasis en Estadísticaspa
dc.titleCálculo de secuentes y gráficos existenciales Alfa, dos estructuras equivalentes para la lógica proposicionalspa
dc.typeTrabajo de grado - Pregradospa
dc.type.dcmi-type-vocabularyTextspa
dc.type.driverinfo:eu-repo/semantics/bachelorThesisspa
dc.type.versioninfo:eu-repo/semantics/submittedVersionspa
dspace.entity.typePublication
Archivos
Bloque original
Mostrando1 - 1 de 1
Miniatura
Nombre:
RIUT-ABA-spa-2014-Cálculo de secuentes y gráficos existenciales Alfa. Dos estructuras equivalentes para la lógica proposicional.pdf
Tamaño:
168.7 KB
Formato:
Adobe Portable Document Format
Descripción:
Descargar
Bloque de licencias
Mostrando1 - 1 de 1
Miniatura
Nombre:
license.txt
Tamaño:
227 B
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar
Colecciones
ABA. Tesis y Trabajos de Grado