混沌试炼属于什么游戏:如何证明原命题的真假等价于其逆否命题的真假?