Implication connectives which are compatible with classical two-valued logic were defined, and they overcome the shortcoming that conditional probability can not be used to inference.

• 定义了与经典二值逻辑相容的蕴涵联结词，克服了条件概率不能用于推理的缺点。