Matter element Deductive Inference
物元演绎推理

从处理不相容问题的实际需要出发，提出了有关物元演算的若干物元联结词，并建立了一套旨在分析物元之间以及物元要素之间的逻辑关系的物元演绎推理规则，它尤其适用于不相容问题的分析处理。