【若a则b】=【非，a和非b】≠【非，若a则非b】。

不能。

1，如果你围观男厕所，那么你会被拖进男厕所。真
2，如果你围观男厕所，那么你不会被拖进男厕所。假
如果1是真命题，那么当你围观男厕所的时候，你唯一的命运就是被拖进男厕所，如此一来你当然不可能不被拖进男厕所，所以可以推出2是假的。

a推b为真，可以推出 a推非b 为假。
说不能的，一般是将【推出】（符号为⇒）和【蕴涵】（符号为→）混淆。
而两者的关系和区别，也不是一两句话能解释清楚的。

若只

出自《逻辑学导论》第四版陈波28页，a能推出b为真，就表示a真并且b真。这可以理解为在有效推理形式下，前提a真，结论b就真。

果然是带专生，这东西想不明白，好好锻炼自己的🐷脑子

建议好好锻炼自己的zhu脑，早日专升本

这也想考，考到35也考不明白的

“非(A实质蕴涵非B）”逻辑等价于“A和B全真”，如果A是假的，就是真前提假结论了。

重新修改一下，楼主的问题如果改为凡a则b可推出凡a则非b为假，这是传统逻辑的对当关系，是成立的，不过在符号逻辑中可能不成立。

从形式逻辑上看。若a则b转化为标准形式则为如果a那么b，这两个命题a和b构成了假言命题。真值表为。。。。。。。显然不能推出