高考数学（理科）小题狂做·基础篇（全国卷 第5版）
P3 Q3
已知命题若，则；命题若则下列说法中正确的是（    ）
A.“”是真命题
B.“”是真命题
C.“”是真命题
D.“”是假命题
考点说明：常用逻辑用语
问题解答：这个问题提的很有思想性，根据真值表我们知道如果一个命题是假命题，其否定是真命题（注意命题的否定与否命题不是同一个概念），但是为什么会出现这样的问题呢？
实际上，我们认为“若p，则q”的否定是“若p，则q”，但实际上在改写时时不时就会发生提问中发现的问题，一般这样的情况是命题中隐含了全称量词导致的，也就是说，将否定写成“若p，则q”在逻辑上实际上是有问题的
这里可以给出一篇学术论文的链接，供读者参考：
http://xueshu.baidu.com/s?wd=paperuri%3A%289ac9b5839c36ce94703ef0a91dcfabc0%29&filter=sc_long_sign&tn=SE_xueshusource_2kduw22v&sc_vurl=http%3A%2F%2Fwww.doc88.com%2Fp-9773599325365.html&ie=utf-8&sc_us=10902959371018755923
另外还有一篇百度文库中的文章利用“虽然……但是……”和“尽管……还……”来书写命题的否定，个人觉得也会对理解这一问题有所帮助
https://wenku.baidu.com/view/41cb246d27d3240c8447efc2.html