Buenas tardes!
Estaba mirando la parte B de este ejercicio que se pide utilizar la parte A y ya vi que está en las soluciones. Pero mi pregunta surge de pensar una demostración por otro lado. ¿Es válido afirmar que toda secuencia de formación para 
de largo mínimo contiene exclusivamente subfórmulas de ? Estoy pensando un contra ejemplo para ver si es falsa, pero no me doy cuenta.
Gracias!