两数相乘,同号得正命题