下列推理形式中，有效式是（）

下列推理形式中，有效式是（）
A、如果p那么q；如果p那么r；q或者r；所以p
B、要么p要么q；p；所以q
C、如果p，那么q；非q；所以非p
D、或者p或者q；非q；所以非p
E、只有非p才非q；p；所以q
正确答案：如果p，那么q；非q；所以非p|只有非p才非q；p；所以q