否命题：若两实数都是有理数,则这两个数之积是有理数.
否命题不等同与对命题的否定,对命题的否定是只否定结论,而否命题是条件结论同时否定.
刚上高中时对集合与建议逻辑这部分可能会不太适应,过一段就好了.