命题逻辑（十九）

假言命题的负命题及其等值推理——必要条件假言命题的负命题及其等值推理

必要条件假言命题的负命题是以必要条件假言命题为支命题的负命题，其命题结构为：

¬ （p ← q）

例如：

并非“只有天下雨，地才会湿”。

因为必要条件假言命题只有在前件假且后件真时，它才是假的，所以必要条件假言命题的等值推理的有效式为：

¬ （p ← q）←→（¬ p ᴧ q）

例如：并非“只有天下雨，地才会湿”，换言之，天没有下雨，但地湿了。