问答题
简答题
称由前提A1，A2，...，Ak推出结论B的推理正确，则A1∧A2∧...∧Ak→B应为下列4个中的哪一个？
（1）重言式或可满足式
（2）可满足式
（3）矛盾式
（4）重言式
【参考答案】
点击查看答案
