Since the only CM from f1 to Q1 has been used, and there is no CM from f2 to Q1, Ctest returns FALSE. So we know Q TAQ". Evample 4. Let Q = {y: p(x, y), ...
確定! 回上一頁