a>=b推出c>d是真命题, 推出其逆反命题 c<=d推出a<=b是真命题
因为 a 所以 c<=d推出e<=f是真命题 即c<=d是e<=f的充分不必要条件