Entailment is the converse of the relation of logical consequence

 
  • 导出是逻辑推论关系的逆叙。
今日热词
目录 附录 查词历史