首页 › 答案 › 题库 › 慕课 › 未分类

在下列充分条件假言推理形式中,有效的是()

在下列充分条件假言推理形式中,有效的是()
A.((p→﹁q)∧﹁p)→q
B.((p→﹁q)∧q)→﹁p
C.((﹁p→q)∧p)→﹁q
D.((﹁p→﹁q)∧q)→p
正确答案:((p→﹁q)∧q)→﹁p;((﹁p→﹁q)∧q)→p