Sean A, B y C fórmulas bien formadas de Q.