Los gráficos existenciales de Peirce en los sistemas Alfa° Alfa°°

• Yuri Alexander Poveda Quiñones ^[1]
  1. [1] Universidad Tecnológica de Pereira

     Universidad Tecnológica de Pereira

     Colombia

     
• Localización: Boletín de matemáticas, ISSN 0120-0380, ISSN-e 2357-6529, Vol. 7, Nº. 1, 2000, págs. 5-17
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• 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