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

第28984题单选题

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

以下四个选项均为命题逻辑中的推理形式，根据命题逻辑的基本推理规则判断其有效性：

A

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

B

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

C

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

D

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

程序运行统计

暂无判题统计

知识点：

离散数学-命题逻辑推理

提交0次正确率0.00%

答案解析