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

问答题

简答题

称由前提A₁，A₂，...，A_k推出结论B的推理正确，则A₁∧A₂∧...∧A_k→B应为下列4个中的哪一个？
（1）重言式或可满足式
（2）可满足式
（3）矛盾式
（4）重言式

【参考答案】

离散数学