逻辑判断

　　【一】翻译推理

　　如果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。