A tanto a primeira quanto a segunda ocorrência da variável x são ligadas, já que elas pertencem ao escopo do quantificador existencial.
B a variável y é livre, já que ela pertence, apenas, ao escopo do quantificador existencial.
C a primeira ocorrência da variável x é livre, já que ela não é quantificada.
D o quantificador existencial pode ser movido para imediatamente depois do quantificador universal, já que o significado da fórmula não se alteraria.
E o quantificador existencial não pode ser movido para imediatamente antes da subfórmula Q(x), pois o significado da fórmula seria alterado.