基于有向图逻辑的数学题目标记系统及标记方法

摘要

一基于有向图逻辑的数学题目标记方法，所述数学题目标记方法用于标记数学题目,其中所述数学题目以数学题目数据存在，所述数学题目数据包括题干数据以及求解数据,包括以下步骤：推理单元获取数学题目的条件元素；根据所述条件元素,匹配定理,并依据所述定理获取结论元素；判断单元判断所述结论元素是否满足所述求解数据；以及逻辑单元以有向图逻辑形式显示所述条件元素,所述定理以及所述结论元素，以及所述条件元素、所述定理以及所述结论元素之间的逻辑关系。