Uso de parentesis para las formulas.

Re: Uso de parentesis para las formulas.

de Juan Diego Campo -
Número de respuestas: 0
Hola Facundo, como vos decís la definición de FORM dice que t_1 =' t_2 (sin paréntesis) es una fórmula.
No hay ninguna regla del lenguaje que dada una fórmula me permita ponerla entre paréntesis.
Así que (t_1 =' t_2) con paréntesis no es una fórmula válida.

Para el práctico 6, trabajamos con la definición estricta del lenguaje.
Después vamos a relajar un poco esto, y vamos a obviar paréntesis, usar símbolos de predicado P, Q, de función f, g, etc; igual que como hicimos con PROP.

Saludos,
Juan Diego