判断命题公式A1，A2，…，Ak推出B的推理是否正确，主要是要判断公式A1∧A2∧…∧Ak→B的类型，如果为（），则表明推理是正确的。

判断命题公式A1，A2，…，Ak推出B的推理是否正确，主要是要判断公式A1∧A2∧…∧Ak→B的类型，如果为（），则表明推理是正确的。
A、可满足式
B、都可以
C、重言式
D、矛盾式
正确答案：重言式