判断命题公式A1,A2,…,Ak推出B的推理是否正确,主要是要判断公式A1∧A2∧…∧Ak→B的类型,如果为(),则表明推理是正确的。
判断命题公式A1,A2,…,Ak推出B的推理是否正确,主要是要判断公式A1∧A2∧…∧Ak→B的类型,如果为(),则表明推理是正确的。
A、可满足式
B、都可以
C、重言式
D、矛盾式
正确答案:重言式
判断命题公式A1,A2,…,Ak推出B的推理是否正确,主要是要判断公式A1∧A2∧…∧Ak→B的类型,如果为(),则表明推理是正确的。
A、可满足式
B、都可以
C、重言式
D、矛盾式
正确答案:重言式
相关答案
热门答案