数控小白求问:大佬们该怎么设计程序来证明表中关系式呀？谢谢大

这是数控的？

回复楼主：表中的关系表达式不是需要你证明的，是用来作为判断语句的条件的，在条件转移或者叫做条件分支语句中，当条件表达式成立时程序怎样转移，条件不成立时则执行IF 语句的下一个程序段。
数控系统为用户宏程序准备了几组变量，除了全局变量的值不会自动清除，剩下的局部变量和公共变量在系统复位或断电时都会自动被清除掉，被清除的变量的值就为"空"，不是数字0，但是参与运算时值为"空"的变量会当作0使用。所以绝大部分的变量在使用前需要先赋值再使用，课件提醒你值为"空"的变量不能写在条件表达式中，例如一个变量值为0，一个变量值为空，那样会无论如何条件表达式都不会成立，你期望出现的成立不可能出现。

楼主：你可能把老师的意思理解偏了，由于数控系统无法辨别用汉字表示的比较运算的关系，如等于、大于等等，于是规定了只能用两个字母表述比较运算的关系。你的老师可能让你证实(不是证明)EQ是等于、LT 是小于、GE是大于等于(或者是不小于)等等，表格中这些两个字母代表什么意思，是不是正确的，是不是写错了的意思，而不是让你证明表达式成立不成立。