Sean A y B fórmulas bien formadas de Q con "como máximo" una variable libre, "x".