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