ej Variables libres y ligadas

ej Variables libres y ligadas

de Juan Tomás Chimaylov Beloqui -
Número de respuestas: 0

Buenas, 
quería saber si la afirmación 1) corresponde a la parte izquierda del implica y si la afirmación 2) corresponde a la parte derecha del implica y si en lugar de decir Alfa en las dos afirmaciones debería hacer referencia a las correspondientes subfórmulas de Alfa.
Gracias