下列推理形式中,有效式是()。
A:如果非p,那么非q;q;所以p
B:要么非p,要么q;非p;所以非q
C:只有非p,才q;非p;所以q
D:如果p,那么非q;非p;所以q
E:p并且q并且r;所以p并且r
出自:哲学