Duda en GCL

[ghost123]

Buenas tardes, soy estudiante de programación y nuevo en el foro, estoy resolviendo un taller y tengo dudas en esta pregunta. agradezco si alguien me puede ayudar.

Gracias .

[engel lex]

dices "tengo dudas" pero no se hacen tareas,explica tu duda

[ghost123]

Creo es es a c y e

dado a que a la pos condición debe ser también mayor a cero verdad?

[engel lex]

que tal si los pasas a numeros para que te des cuenta de los errores... por lo menos

{b > a > 0}
c = a - b
{c > 0}

si los pasamos a numeros, sabemos que a es mayor que 0 y a menor que b, entonces buscamos los numero más pequeños que correspondan

{2 > 1 > 0}
c = 1 - 2
{-1 > 0}

y como sabemos que -1 no es mayor que cero, eso es falso

[ghost123]

Muchas Gracias por la ayuda