翻译推理：

　　【解题思路】先翻译，后推理。

　　如果A，那么B，前推后;只有B，才A，后推前。

　　翻译形式：A→B

　　推理规则：肯前必肯后，否后必否前，否前肯后得到可能结论。

　　A且B：全真为真，一假为假;A或B：一真为真，全假为假。

　　要么A、要么B：仅一真一假为真，全真或全假为假。

　　摩根定律：¬(A且B)=¬A或¬B;¬(A或B)=¬A且¬B。

　　否定肯定式：A或B=¬A→B=¬B→A。

　　提示：关注推理规则的逆向运用以及各个关联词的替代表达形式。