导出是逻辑推论关系的逆叙.用英语怎么说？

导出是逻辑推论关系的逆叙.

Entailment is the converse of the relation of logical consequence.

entailment

需要，限定继承；

is

vt.& vi. 是（be的三单形式；n. 存在；

the

art. 指已提到的人（物），指说话人与听者已知的人（物），用于独一无二的事物前，与形容词最高级和序数词连用；

converse

vi. 交谈，谈话，[计]对话，会话；

of

prep. 关于，属于…的，由…制成；aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气]；

relation

n. 关系，联系，关联，亲属；

logical

adj. 逻辑（上）的，符合逻辑的，推理正确的，合乎常理的；

consequence

n. 结果，后果，重要性；