否命题：若两个实数的积是无理数,则此两实数不都是有理数
否定形式：若两个实数的积是有理数,则此两实数不都是有理数
简单说,否命题是条件和结论都否定
而否定形式一般只否定命题的结论