下列哪一个命题逻辑的推理形式是有效的？

第28985题单选题

下列哪一个命题逻辑的推理形式是有效的？

仅从逻辑结构判断推理的有效性，下列推理正确的是？

A

前提为$p \to q$和$q$，推出结论$p$

B

前提为$p \to q$和$\neg p$，推出结论$\neg q$

C

前提为$p \lor q$和$\neg p$，推出结论$q$

D

前提为$p \to q$和$q$，推出结论$\neg p$

程序运行统计

暂无判题统计

知识点：

离散数学-命题逻辑推理

提交0次正确率0.00%

答案解析