Entailment is the converse of the relation of logical consequence.

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