试题要求：
下列推理形式中，有效式是（ ）。
试题解析：
答案：A
解析：
此题可以用排除法来做，B选项：
，利用联言推理的分解式，可以推出
或者q ，所以B错误。
C选项：
，这是充分条件选言推理否定前件式，是无效的。
D选项：相容选言判断的推理形式有否定肯定式和析取引入式，所以该式子也是推不出的。所以排除BCD，选A。
考点：演绎推理（二）：基于命题的推理