命题的转换有一个原命题是“……那么这两个实数中至少有一个是无理数”那着个原命题的否命题是“……那么这两个实数都是无理数”