充分条件假言推理的否定后件式：什么意思、推理形式

否定后件式：什么意思、推理形式

否定后件式是指：前提中否定假言判断的后件，结论否定它的前件。

其推理形式是：

用符号化的横式可表示为：（（p→q）∧┐q）→┐p

例如：