inRm3D: 画板论坛's Archiver

preposition 发表于 2018-11-19 16:49

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

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

页: [1]

Powered by Discuz! Archiver 7.0.0  © 2001-2009 Comsenz Inc.