充分条件假言推理的否定后件式:什么意思、推理形式 发表评论 A+ 所属分类:推理 否定后件式:什么意思、推理形式 否定后件式是指:前提中否定假言判断的后件,结论否定它的前件。 其推理形式是: 用符号化的横式可表示为:((p→q)∧┐q)→┐p 例如: