| dc.creator | Fuentes Guzm?n, Daniel Camilo | |
| dc.date | 2014-10-01T13:44:58Z | |
| dc.date | 2014-10-01T13:44:58Z | |
| dc.date | 2014 | |
| dc.date.accessioned | 2023-08-28T13:35:10Z | |
| dc.date.available | 2023-08-28T13:35:10Z | |
| dc.identifier | Fuentes 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> | |
| dc.identifier | https://repository.ut.edu.co/handle/001/1172 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/8440683 | |
| dc.description | 53 P?ginas | |
| dc.description | Recurso Electr?nico | |
| dc.description | Introducci?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 53 | |
| dc.format | application/pdf | |
| dc.format | application/pdf | |
| dc.language | spa | |
| dc.publisher | Ibagu? : Universidad del Tolima, 2014 | |
| dc.publisher | Facultad de Ciencias, Programa de Matem?ticas con ?nfasis en Estad?stica | |
| dc.rights | Atribuci?n-NoComercial-CompartirIgual 2.5 Colombia (CC BY-NC-SA 2-5 CO) | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | http://www.creativecommons.org/licenses by-nc/2.5/co/ | |
| dc.subject | Secuentes | |
| dc.subject | Gr?ficos existenciales Alfa | |
| dc.subject | L?gica proposicional | |
| dc.title | C?lculo de secuentes y gr?ficos existenciales Alfa, dos estructuras equivalentes para la l?gica proposicional | |
| dc.type | Trabajo de grado - Pregrado | |
| dc.type | Text | |
| dc.type | info:eu-repo/semantics/bachelorThesis | |
| dc.type | info:eu-repo/semantics/submittedVersion | |
