[判断题]在自然推理系统中,当结论为C→B形式时,可以将C列入前提,然后用直接证明法推出B,这里称C为附加前提。
广开题库
|
2023-11-01 14:00:52
|
11
[判断题]在自然推理系统中,当结论为C→B形式时,可以将C列入前提,然后用直接证明法推出B,这里称C为附加前提。

A.对
B.错
查看答案

广东开放大学

形成性考核

您可能感兴趣的试题
TOP