Ejercicio 1

Ejercicio 1

de Joaquin Cabrera Pastor -
Número de respuestas: 1

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.