6.2.1 临机逻辑和预置逻辑一致性的定义