五个推理形式中，有效式有（）

五个推理形式中，有效式有（）
A.或者非p或者q；非p；所以q
B.要么P要么q；非P；所以q
C.如果非p，那么q；p；所以非q
D.只有P，才非q；非P；所以q
E.只有P才q；p；所以非q
正确答案：BD