第28983题 单选题
以下哪一个命题逻辑推理形式是有效的？

针对命题逻辑中的推理形式，下列选项中属于有效推理的是：

A

已知P→Q且Q为真，则可推出P为真

B

已知P→Q且¬P为真，则可推出¬Q为真

C

已知P→Q且P为真，则可推出Q为真

D

已知P∨Q且P为真，则可推出¬Q为真

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