返回列表 回复 发帖

自动推理中条件和结论的添加语法?

在超级画板使用过程中,自动推理时常常需要添加辅助条件和结论,但是却不容易找不到相关的语法规则介绍。例如:∠A+∠B+∠C=180度等较复杂的语句该如何添加?请大神帮助,最好能系统的介绍一下这类语法,谢谢!
返回列表