逆否命题,判断其真假,并证明结论.