entailment is the converse of the relation of logical consequence

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