# Exercici 03-1-2

En primer lloc plantegem els cassos possibles:
1) 0 < x < y
2) x < 0 < y
3) x < y < 0
 

1) Primer cas

assume (0<x, x<y);

is (1/x < 1/y);

per tant, la conclusió en aquest cas és 1/x > 1/y

2) Segon cas

kill(all)$

assume (x<0, 0<y);

is (1/x < 1/y);

3) Tercer cas

kill(all)$

assume (y<0, x<y);

is (1/x < 1/y);

En conclusió la desigualtat d'inversos canvia de sentit en els
casos 1) i 3) i es manté en el cas 2)