a/b＞1隐含了b≠0的条件,它其实可以这样写：a/b＞1且b≠0.这样的话改部分的否命题明显就是
a/b≤1或b=0啦