结构推理
称由前提A
1
，A
2
，…，A
k
推出结论B的推理正确，则A
1
∧A
2
∧…∧A
k
→B应为下列4个中的哪一个?
(1)重言式或可满足式； (2)可满足式；
(3)矛盾式； (4)重言式．
【正确答案】
为(4)．
【答案解析】
提交答案
关闭