命题逻辑（十八）

假言命题的负命题及其等值推理——充分条件假言命题的负命题及其等值推理

充分条件假言命题的负命题是以充分条件假言命题为支命题的负命题，其命题形式为：

¬ （p → q）

例如：

“如果小张患了SARS，他就会死亡”并不符合事实。

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

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

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

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

例如：

“'如果小张患了SARS，他就会死亡'并不符合事实.”，这就是说，小张患上了SARS，但他没有死。