第28982题 单选题
下列哪一个命题逻辑推理形式是有效的正确推理?

已知命题变元p、q,以下四个推理形式中,符合命题逻辑推理规则的有效推理是:

A

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

B

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

C

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

D

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

程序运行统计
暂无判题统计
提交0次 正确率0.00%
答案解析