Compared with various kinds of implication inference theories put forward by the logicians, the essential implication inference theory is the preferred one.

• 相对逻辑学家己提出的各种刻画推理的蕴涵理论，用实质蕴涵刻画推理是比较好的推理理论。