证据理论中集合A的信任区间为[1，1]，则其语意解释为A为真。()

假言推理(A→B)∧A→B，假言三段论(A→B)∧(B→C)→(A→C)。() 点击查看答案

归结过程的控制策略包括：删除策略、采用支撑集策略、语义归结策略、线性归结策略、单元归结策略、输入归结策略等。() 点击查看答案