Deje ⪰⪰\succeq ser una relación de preferencia en XXX . ¿Es cierto que x⪰yx⪰yx \succeq y si y solo si ¬(y≻x)¬(y≻x)\lnot (y \succ x) ? Creo que es cierto y mi prueba es la siguiente. Probar⟹⟹\impliesdirección, tenemos ¬(y≻x)≡¬(y⪰x)¬(y≻x)≡¬(y⪰x)\lnot (y \succ x) \equiv \lnot(y \succeq x) o x⪰yx⪰yx...