¿Para qué sirve la notación lógica?
Parte de lo que aprendí ayer sobre la importancia de la notación en lógica con José Dehilario: Supongamos que queremos una notación para un sistema de cálculo proposicional en el cual haremos muchos Modus Ponens ¿Cuáles son las cualidades mínimas que tendría que tener un sistema notacional para permitirnos hacer Modus Ponens ? A nivel de fórmulas, tiene que permitirnos distinguir condicionales y cuales son sus antecedentes y consecuentes A nivel de derivaciones, tiene que permitirnos distinguir premisas de conclusión Pero, una buena notación podría hacer más que esto. Nótese que la condición de permitirnos hacer algo es muy, muy débil. Habrá notaciones en las cuales, por ejemplo, será posible determinar si una fórmula es un condicional, pero muy difícil. Una buena notación debe, no sólo permitirnos hacer estas distinciones, sino facilitarnos hacerlas. Por ejemplo, tanto en la notación polaca como en la tradicional podemos determinar cuál es la conectiva principal, pero