否定后件式：什么意思、推理形式
否定后件式是指：前提中否定假言判断的后件，结论否定它的前件。
其推理形式是：
用符号化的横式可表示为：（（p→q）∧┐q）→┐p
例如：
-
文章目录
- 繁