Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Artículo - Article #21763

Poveda Quiñones, Yuri Alexander (2000) Sin Definir Boletín de Matemáticas; Vol. 7, núm. 1 (2000); 5-17 Boletín de Matemáticas; Vol. 7, núm. 1 (2000); 5-17 2357-6529 0120-0380 .

Texto completo

[img]
Vista previa
PDF
1MB

URL oficial: http://revistas.unal.edu.co/index.php/bolma/articl...

Resumen

Las reglas deductivas de eliminación y de inserción propuestas para los gráficos existenciales Alfa, de Peirce, son complejas para ser formalizadas en el Cálculo Proposicional Clásico. Las pruebas de validez de estas reglas en el Cálculo Proposicional Clásico requieren inducción pues dependen de la paridad de las cortaduras en cualquier fórmula.

Tipo de documento:Artículo - Article
Unidad administrativa:Revistas electrónicas UN > Boletín de Matemáticas
Código ID:21763
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :27 Junio 2014 12:54
Ultima modificación:31 Enero 2018 16:19
Ultima modificación:31 Enero 2018 16:19
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox