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

肯定前件式：什么意思、推理形式

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

其推理形式是：

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

例如：