题目:下列推理形式中,有效式是()
2024-11-10
A(p∨q)→﹁r,p├﹁r
B﹁(p∨﹁q)├p
C(p→q)∧﹁p├﹁q
D﹁p∨q∨r├r
B﹁(p∨﹁q)├p
C(p→q)∧﹁p├﹁q
D﹁p∨q∨r├r
正确答案:A
试题解析:暂无
正确答案:A
试题解析:暂无