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

rj451371 单选题 共 个子题
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$

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