12.4 互逆命题.