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

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

Entailment is the converse of the relation of logical consequence.

entailment

需要，限定继承；

is

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

例句
Bollinger 'RD' is a rare, highly prized wine.
博林格RD香槟是一种名贵的备受推崇的葡萄酒。

the

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

例句
He did have a real knowledge of the country...
他对该国的确知之甚多。

converse

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

例句
What you do for a living is critical to where you settle and how you live — and the converse is also true.
一个人的谋生手段对于其居住地的选择和生活方式来说有着至关重要的影响，反之亦然。

of

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

例句
He did have a real knowledge of the country...
他对该国的确知之甚多。

relation

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

例句
For many software packages, the price bears little relation to cost.
对于很多软件包来说，价钱和成本没有什么联系。

logical

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

例句
The logical treatment is to remove this blockage.
合理的治疗方法就是清除堵塞物。

consequence

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

例句
Maternity services were to be reduced in consequence of falling birth rates.
由于出生率下降，产科服务会随之削减。