The rule of inference used in this procedure is a subcase of linear resolution—the unit resolution.

证明过程所采用的方法是线性归结的特殊情形——单位归结。

youdao

The rule of inference used in this procedure is a subcase of linear resolution—the unit resolution.

证明过程所采用的方法是线性归结的特殊情形——单位归结。

youdao