si φ es una formula, ¿Se puede considerar (φ) como una formula también? La pregunta viene un poco por la definicion de FORM, donde resumidamente dice que si t1,t2, son terminos, entonces t1='t2 es una formula. ¿Sería considerado un error en algun momento escribir (t1='t2)?
En respuesta a Facundo Burdin Ponce De LeãN
Re: Uso de parentesis para las formulas.
de Juan Diego Campo -
Hola Facundo, como vos decís la definición de FORM dice que 
(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
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
(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
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