或者P或者q；非p；所以q
要么p要么q；非p；所以非q
如果非p，那么q；p；所以q
只有P，才非q；非P；所以q
只有p才q；非p；所以q
考查推理形式的有效性。
A：相容选言推理否定肯定式，有效；
B：不相容选言推理否定肯定式，结论错误，应得到q；
C：充分条件假言推理否定前件式，无效；
D：必要条件假言推理否定前件式，有效；
E：必要条件假言推理否定前件式，结论错误，应为非q
答案为AD。
