首页 › 答案 › 题库 › 知到智慧树 › 未分类

推理规则Aù（ATB） T；B的名称为假言推理。

推理规则Aù（ATB） T；B的名称为假言推理。
A.正确
B.错误
正确答案：正确

标签：假言规则

上一条：（AúB） ù（?Cú?DúE） T（AúB） ù（?DúE）。

下一条：反演归结（消解）证明定理时，若当前归结式是（）时，则定理的证。