逆命题是
若a和b是无理数
则a^b是无理数
这是假命题
举个反例
假设a=√2=2^(1/2)
b=log2(9)
显然a和b是无理数
a^b
=[2^(1/2)]^log2(9)
=2^[(1/2)log2(9)]
=2^[log2(9^(1/2))]
=2^[log2(3)]
=3
是有理数