基本释义：逻辑学名词。亦称定言判断。是无条件地反映事物有或没有某种属性的判断。它通过联系词“是”与“不是”来肯定与否定事物的某种属性。例如：“中国人民是勤劳勇敢的”和“自然界不是静止不变的”都是直言判断。它的公式是：S是（不是）P。人们以直言判断来表现已获得关于客观现实规律的知识。
基本释义：自然垄断是经济学中一个传统概念。早期的自然垄断概念与资源条件的集中有关，主要是指由于资源条件的分布集中而无法竞争或不适宜竞争所形成的垄断。在现代这种情况引起的垄断已不多见。而传统意义上的自然垄断则与规模经济紧密相连，指一个企业能以低于两个或者更多的企业的成本为整个市场供给一种物品或者劳务，如果相关产量范围存在规模经济时自然垄断就产生了。
基本释义：不能同真但可以同假的两个判断。 如“逻辑学是无用的”和“逻辑学是万能的”就是反对判断。对于反对判断，可以由一个判断之真推出另一个判断之假，但不能由一个判断之假推出另一个判断之真。
基本释义：在线诊断即运行中的诊断，是指在系统通过启动诊断进入运行状态后由内部诊断程序对CNC本身，与CNC连接的外部设备及伺服单元、伺服电动机等进行自动地检测和诊断。