この資料をSMS送信: Variables sintácticas (negación), de congruencia y de tarea en la verificación de enunciados /