下雨的反面是不是天晴,就是今天下雨的否命题是不是今天天晴