当设计这个测试时,您会瞬间看到三类输入输出数据:不等边三角形,等边三角形或者等腰三角形。
When designing tests for this, you immediately see three classes of input and output values: scalene, equilateral, and isosceles.
然后程序会判断三角形是否为不等边三角形,等边三角形或者等腰三角形。
The program then states whether the triangle is scalene, equilateral, or isosceles."
不过,一个人特别论证不等边三角形或等边三角形,是从必然非第一原理论证。
However, one who demonstrates this for scalene or equilateral triangles does so from principles that are necessarily not first principles.
应用推荐