12.3互逆命题 (7)