称由前提A1、A2、.....、Ak推出结论B的推理有效，则A1∧A2∧......∧Ak→B应为下列4个中哪一个？

称由前提A1、A2、.....、Ak推出结论B的推理有效，则A1∧A2∧......∧Ak→B应为下列4个中哪一个？
A、重言式或可满足式
B、矛盾式
C、可满足式
D、重言式
正确答案：重言式