标题: 自动推理中条件和结论的添加语法？ [打印本页]

---

作者: preposition    时间: 2018-11-19 16:49     标题: 自动推理中条件和结论的添加语法？

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

---

欢迎光临 inRm3D: 画板论坛 (http://inrm3d.cn/)

Powered by Discuz! 7.0.0