或者p或者非q等同于如果q那么p,为什么