Acerca de la igualdad y la desigualdad.

[martina-abello]

¿Es válido decir que la negación de "menor que" es "mayor o igual que"?

¿Es válido separar "x es igual a y" en "x es mayor o igual a y, e y es mayor o igual a x"?

Gracias de antemano.

[ibgarrido]

Si, ambas cosas que dices son completamente validas (Son la equivalencia logica de hecho).

Sea a,b en un conjunto ordenado, se tiene: ~(a<b) = a >=b (a = b ) = (a <=b ^ a >=b )