Hola Matías, revisá la presentación de teórico, en las páginas 28 y 29.
Ahí te dice qué convenciones usamos para abreviar las fórmulas de PROP y da algunos ejemplos.
Si tomamos la parte b del ejercicio podemos ver que la tira
no es estrictamente una fórmula de PROP, porque le faltan los paréntesis, pero sí es una abreviatura de la siguiente fórmula (siguiendo las convenciones de precedencia):
Esto sí pertenece a PROP, poque puedo formarla con las reglas de definición del conjunto.
Revisá lo que hiciste teniendo en cuenta lo que está en el teórico, y volvé a mandar si querés.
Saludos