假言推理(A→B)∧A→B，假言三段论(A→B)∧(B→C)→(A→C)。()

归结过程的控制策略包括：删除策略、采用支撑集策略、语义归结策略、线性归结策略、单元归结策略、输入归结策略等。(...

判断题归结过程的控制策略包括：删除策略、采用支撑集策略、语义归结策略、线性归结策略、单元归结策略、输入归结策略等。()

我国大多数企业现在已经具有自主核心技术和自主品牌了。()

判断题我国大多数企业现在已经具有自主核心技术和自主品牌了。()

科研诚信强调与科研人员的品质和伦理责任相关的个人自律。()

判断题科研诚信强调与科研人员的品质和伦理责任相关的个人自律。()