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

ai853661 单选题 共 个子题

已知$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$

正在加载题目数据…
已答 /
子题
该题型需在试卷/作业中作答,单题练习暂不支持
答案解析
讨论
发布
登录后参与讨论 立即登录
发布讨论需先绑定并验证手机号 去绑定手机号
加载中…
我
我
回复 @
回复 @
发送
还没有人讨论,来发表第一条吧