已知两子句L1∨α和~L2∨β,如果L1和L2具有最一般合一者σ,那么通过消解可以从这两个父辈子句推导出一个新子句(α∧β)σ。() 此题为判断题(对，错)。
已知两子句L1∨α和~L2∨β,如果L1和L2具有最一般合一者σ,那么通过消解可以从这两个父辈子句推导出一个新子句(α∧β)σ。()
此题为判断题(对，错)。
相关考题：
对于子句C1∨L1和C2∨L2,其中L1、L2是单文字。如果L1与~L2可合一,且s是其合一者,则(C1∨C2)s是其_式。这一过程称作_。 A、置换置换B、合一合一C、归结归结D、递归递归
如图所示，线圈L的自感系数很大，且其直流电阻可以忽略不计，L1、L2是两个完全相同的小灯泡，开关S闭合和断开的过程中，灯L1、L2的亮度变化情况是(灯丝不会断)( )。A．S闭合，L1亮度不变，L2亮度逐渐变亮，最后两灯一样亮；S断开，L2立即熄灭，L1逐渐变暗B．S闭合，L1亮度不变，L2很亮；S断开，L1、L2立即熄灭C．S闭合，L1、L2同时亮，而后L1逐渐熄灭，L2亮度不变；S断开，L2立即熄灭，L1亮一下再熄灭D．S闭合，L1、L2同时亮，而后L1逐渐熄灭，L2则逐渐变得更亮；S断开，L2立即熄灭，L1亮一下再熄灭
两根受拉杆件，若材料相同，受力相同，L1=2L2，A1=2 A2，则两杆的伸长△L和轴向线应变ε的关系为（）A．△L1=△L2，ε1=ε2B．△L1=△L2，2ε1=ε2C．△L1=2△L2，ε1=ε2D．△L1=2△L2，ε1=2ε2
为了考察两个变量x和y之间的线性相关性，甲、乙两个同学各自独立地做10次和15次试验，并且利用线性回归方法，求得回归直线分别为L1和L2.已知在两个人的试验中发现对变量x的观测数据的平均值恰好相等，都为s，对变量y的观测数据的平均值也恰好相等，都为t。那么下列说法正确的是 （)A．直线L1和L2有交点(s，t)B．直线L1和L2相交，但是交点未必是点(s，t)C．直线L1和L2由于斜率相等，所以必定平行D．直线L1和L2必定重合
为了考察两个变量x和y的线性相关性，甲、乙两个同学各自独立地做10次和15次实验，并且利用线性回归方法，求得回归直线分别为L1和L2。已知在两个人的实验中发现对变量x的观测数据的平均值恰好相等，都为s，对变量y的观测数据的平均值也恰好相等，都为t，那么下列说法错误的是A．直线L1和L2有交点（s,t）B．直线L1和L2相交，但交点未必是点（s,t）C．直线L1和L2由于斜率相等，所以必定平行D．直线L1和L2必定重合
有两个循环链表，链头指针分别为L1和L2，要求写出算法将L2链表链到L1链表之后，且连接后仍保持循环链表形式。