Buen dia. Queria consultar si para probar la pertenencia de un elemento a PROP, alcanza con solo escribir su secuencia de formación, o se debe escribir algo mas como por ejemplo por que regla entra cada subformula en la secuencia de formacion.
Saludos.
Hola Joaquín:
Para que esté completo el planteo, tenés que probar que la secuencia dada es efectivamente una secuencia de formación de la fórmula.
Para que esté completo el planteo, tenés que probar que la secuencia dada es efectivamente una secuencia de formación de la fórmula.