逆否命题是真 因为原命题是真
或
逆否命题是"若A不是B的子集,则AUB不是B"
因A不是B的子集,则存在x属于A\B
AUB包含A,自然包含x,但x不属于B,所以AUB不是B