327.鲁宾逊归结原理中,设 C1 与 C2 是子句集 S 中的两个子句,C12是它们的归结式,若把 C12 加入 S 中,得到新子句集 S2,则 S 与 S2是等价的。

A. 正确

B. 错误

参考答案与解析:

相关试题

标准的C12速率是()kbit/s。

[填空题] 标准的C12速率是()kbit/s。

  • 查看答案
  • S1强弱不等B . 大炮音C . S2增强D . S2逆分裂E . S2通常分裂

    S1强弱不等B . 大炮音C . S2增强D . S2逆分裂E . S2通常分裂[单选,A2型题,A1/A2型题] 二尖瓣狭窄患者听诊不可能出现的是()A .

  • 查看答案
  • |S1£­S2£¯|S1£«S2|,提示:()。

    [单选题]|S1-S2/|S1+S2|,提示:()。A.对比噪声比B.对比度C.图像均匀度D.空间分辨率E.信噪比

  • 查看答案
  • 考虑定义在事务集(T1,T2,T3) 上的调度S1和S2,S1与S2是否是冲突等

    [主观题]考虑定义在事务集(T1,T2,T3) 上的调度S1和S2,S1与S2是否是冲突等价的?为什么?

  • 查看答案
  • 设有两个串S1和S2,求S2在S1中首次出现的位置的运算称作()。

    [单选题]设有两个串S1和S2,求S2在S1中首次出现的位置的运算称作()。A.求子串B.判断是否相等C.模式匹配D.连接

  • 查看答案
  • 设有两个串S1和S2,求S2在S1中首次出现的位置的运算称作()。

    [单选题]设有两个串S1和S2,求S2在S1中首次出现的位置的运算称作()。A.求子串B.判断是否相等C.模式匹配D.连接

  • 查看答案
  • 设有两个串S1和S2,求S2在S1中首次出现的位置的运算称作()。

    [单选题]设有两个串S1和S2,求S2在S1中首次出现的位置的运算称作()。A.求子串B.判断是否相等C.模式匹配D.连接

  • 查看答案
  • 设有两个串S1和S2,求串S2在S1中首次出现位置的运算称作()。

    [单选题]设有两个串S1和S2,求串S2在S1中首次出现位置的运算称作()。A . 连接B . 求子串C . 模式匹配D . 判断子串

  • 查看答案
  • 若REPLACE(S,S1,S2)表示用字符串S2替换字符串S中的子串S1的操作

    [单选题]若REPLACE(S,S1,S2)表示用字符串S2替换字符串S中的子串S1的操作,则对于S=“Beijing&Nanjing”,S1=“Beijing”,S2=“Shanghai”,REPLACE(S,S1,S2)=()。A . “Nanjing&Shanghai”B . “Nanjing&Nanjing”C . “ShanghaiNanjing”D . “Shanghai&Nanjing&rdquo

  • 查看答案
  • 如何区别S1与S2?

    [问答题] 如何区别S1与S2?

  • 查看答案