假言命题的负命题及其等值推理——充分条件假言命题的负命题及其等值推理，今天小编就来说说关于命题逻辑十八讲答案?下面更多详细答案一起来看看吧!
命题逻辑十八讲答案
假言命题的负命题及其等值推理——充分条件假言命题的负命题及其等值推理
充分条件假言命题的负命题是以充分条件假言命题为支命题的负命题，其命题形式为：
¬ （p → q）
例如：
“如果小张患了SARS，他就会死亡”并不符合事实。
因为充分条件假言命题只有在前件真且后件假时，它才是假的，所以充分条件假言命题的负命题的等值推理的有效式为：
¬ （p → q）←→（p ᴧ ¬ q）
因为充分条件假言命题只有在前件真且后件假时，它才是假的，所以充分条件假言命题的负命题的等值推理的有效式为：
¬ （p → q）←→（p ᴧ ¬ q）
例如：
“'如果小张患了SARS，他就会死亡'并不符合事实.”，这就是说，小张患上了SARS，但他没有死。
,
