第28981题 单选题
下列命题逻辑推理形式中，属于有效推理的是哪一项？

设p、q为任意命题变元，以下推理形式符合命题逻辑推理规则的是：

A

已知前提p→q，q，推出结论p

B

已知前提p→q，¬p，推出结论¬q

C

已知前提p∨q，¬p，推出结论q

D

已知前提p∨q，p，推出结论¬q

程序运行统计
暂无判题统计
知识点：
离散数学-命题逻辑推理
提交0次 正确率0.00%
答案解析
上一题 下一题