Trabajo de grado - Pregrado
C?lculo de secuentes y gr?ficos existenciales Alfa, dos estructuras equivalentes para la l?gica proposicional
Registro en:
Autor
Fuentes Guzm?n, Daniel Camilo
Institución
Resumen
53 P?ginas Recurso Electr?nico 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