若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R(C1，C2)=1。()

在MYCIN推理中，对证据的可信度CF(A)、CF(A1)、CF(A2)之间，规定如下关系：CF(~A)=﹣C...

判断题在MYCIN推理中，对证据的可信度CF(A)、CF(A1)、CF(A2)之间，规定如下关系：CF(~A)=﹣CF(A)，CF(A1∧A2)=min{CF(A1)，CF(A2)}，CF(A1∨A2)=max{CF(A1)，CF(A2)}。()

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

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

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

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