Gráficos de Peirce Sin Pérdida de Información

Abstract

C. S. Peirce desarrolló dos sistemas diagramáticos de prueba para la
Lógica Proposicional Clásica: los Gráficos Entitativos y el Sistema Alfa
de los Gráficos Existenciales. Ambos utilizan el mismo conjunto compuesto
por seis reglas de inferencia. Modifico estos sistemas de manera
que se requieren sólo cuatro de estas reglas de inferencia, es decir,
aquellas en las que no hay pérdida de información.

C. S. Peirce has developed two diagrammatic systems of proof for
Classical Propositional Logic: the Entitative Graphs and the Alpha System
of the Existential Graphs. Both use the same set consisting of six
rules of inference. I modify these systems so that each of them requires
only four of these rules of inference, namely, those in which there
is no loss of information.