MATLAB的答案

如何使一个不平等成为一个假设?

2视图(30天)
idriskameni
idriskameni 2019年3月5日
评论道: 沃尔特·罗伯森 2019年3月5日
你好,
我感兴趣的检查,如果一个巨大的公式是积极的还是消极的。
假设,例如,有迹象 对于某些值
的 。因此,我想知道我如何能做的假设
变量的值。
我知道,我能做的事情
假设(x > 0)
假设(x,“整数”)
但我想假设之类的东西
假设(a + c > 0)
假设(b + 2 c < 0)
假设(> 0)
所有在同一时间。你知道我能做些什么呢?
非常感谢你提前。

在回答这个问题。

接受的答案

沃尔特·罗伯森
沃尔特·罗伯森 2019年3月5日
编辑:沃尔特·罗伯森 2019年3月5日
是的。只是小心些而已,因为一旦一个假设存在于一个变量,使用假设()相同的变量可以删除之前的假设。安全使用assumeAlso ()
假设(x > 0)
assumeAlso (x,“整数”)
assumeAlso (a + c > 0)
assumeAlso (b + 2 * c < 0)
assumeAlso (> 0)
你也可以一起链假设关系的形式:
假设(x,“整数”)
assumeAlso (x > 0 & a + c < 0 & b + 2 * c < 0 & > 0)
然而,假设系统并不一定要足够健壮的目的。
总()可能会帮助你。
2的评论
显示1年长的评论
沃尔特·罗伯森
沃尔特·罗伯森 2019年3月5日
象征性的引擎有时忽略了假设。有时它并不解决所有假设的含义,所以它可以错过一个人类可以证明的东西。
关于总():你不能直接测试符号表达式的真相。例如如果你有上述假设你可能期望能够问
如果a + c > 0;disp (“是的”);结束
因为有一个假设状态,作为一个事实。然而,这将会失败,失败将符号逻辑。你可以把标志符号表达式(),标志()并不一定会解决所有的假设,这样你就可以有困难如果你比较输出的信号(),或者您可以简单地得到误导的结果。您可能需要测试总()表达式的, 做 返回一个逻辑值。

登录置评。

更多的答案(0)

类别

找到更多的在假设在帮助中心和文件交换

标签

社区寻宝

找到宝藏在MATLAB中央,发现社区如何帮助你!

开始狩猎!