判断题
假言推理(A→B)∧A→B,假言三段论(A→B)∧(B→C)→(A→C)。()
正确
判断题 归结过程的控制策略包括:删除策略、采用支撑集策略、语义归结策略、线性归结策略、单元归结策略、输入归结策略等。()
判断题 我国大多数企业现在已经具有自主核心技术和自主品牌了。()
判断题 科研诚信强调与科研人员的品质和伦理责任相关的个人自律。()