原命题:若两实数中至少有一个是无理数,则这两个数之积是无理数.

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