Estoy tratando de probar una declaración de que si %-%-% es una estructura de elección, entonces debe satisfacer la condición %-%-% de Sen.
Sin embargo, si %-%-%, puedo construir alguna estructura de elección como %-%-%.
Esta estructura de elección infringe claramente la condición %-%-% (reducción).
Entonces, ¿puede alguien señalar dónde comen como un error? ¿O la declaración asume que la relación %-%-% es racional?
¡Gracias!
