为什么互为逆否的两命题真假性相同?