6.2.2 临机逻辑和预置逻辑的一致性检测