Reglas de transformación para diagramas

Abstract

Desde fines del siglo pasado, las investigaciones en lógica sobre la inferencia heterogénea y la inferencia diagramática han señalado la necesidad de precisar las reglas de transformación para esos -sistemas, precisión que,- como vimos, está presente en los sistemas linguísticos. Por ello, en el presente trabajo se mostrarán algunos ejemplos de reglas para diagramas que, al estar exentas de la confusión entre sintaxis y semántica, contribuyen a la construcción de pruebas válidas conservando su visualización, que es la característica distintiva de los mencionados sistemas.