在逻辑中constraint是什么意思

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接： https://blog.csdn.net/weixin_39408343/article/details/101534577

在逻辑中，可以作为约束的意思，狭窄的解释也就是等式或不等式。

比如一下的关系就称作constraints

这里的Xi是free variable；b是常量。而这两个等式和不等式都叫constraint。