下列推理形式中属于必要条件假言推理有效式的是（）。

下列推理形式中属于必要条件假言推理有效式的是（）。
A、肯定前件式
B、否定后件式
C、肯定后件式
D、否定前件式
正确答案：肯定后件式|否定前件式