下列推理形式中,有效式是()A(p∨q)→﹁r,p├﹁rB﹁(p∨﹁q
20 查阅
下列推理形式中,有效式是()
A(p∨q)→﹁r,p├﹁r
B﹁(p∨﹁q)├p
C(p→q)∧﹁p├﹁q
D﹁p∨q∨r├r
参考答案:
下列推理形式中,有效式是()
A(p∨q)→﹁r,p├﹁r
B﹁(p∨﹁q)├p
C(p→q)∧﹁p├﹁q
D﹁p∨q∨r├r
参考答案: