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