称由前提A1、A2、.....、Ak推出结论B的推理有效,则A1∧A2∧......∧Ak→B应为下列4个中哪一个?


称由前提A1、A2、.....、Ak推出结论B的推理有效,则A1∧A2∧......∧Ak→B应为下列4个中哪一个?

A、重言式或可满足式

B、矛盾式

C、可满足式

D、重言式

正确答案:重言式


Tag:重言 结论 前提 时间:2024-05-29 11:31:44