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.