根据命题逻辑推理规则，下列哪个推理形式是有效的？

第28988题单选题

根据命题逻辑推理规则，下列哪个推理形式是有效的？

已知$p$、$q$为任意命题变元，以下四个推理形式中，符合有效推理定义的是：

A

$(p \to q) \land \neg q \Rightarrow p$

B

$(p \to q) \land p \Rightarrow q$

C

$(p \lor q) \land p \Rightarrow \neg q$

D

$(p \to q) \land q \Rightarrow \neg p$

程序运行统计

暂无判题统计

知识点：

离散数学-命题逻辑推理

提交0次正确率0.00%

答案解析