单项选择题

反演归结(消解)证明定理时，若当前归结式是( )时，则定理得证。
A、永真式
B、包孕式（subsumed）
C、空子句

你可能感兴趣的试题

单项选择题

工资、薪金所得,适用超额累进税率,税率为( )。 A.
3%~45% B.
3%~35% C.
3%~40% D.
20%

单项选择题

陆源碎屑岩具有碎屑结构，泥质岩具有泥状结构。

A．对
B．错