entailment

Entailment is the converse of the relation of logical consequence.

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

辞典例句

Entailment is a relation of inclusion.

蕴涵是一种包含关系.

互联网