象征性的假设可以结合或简化?
5视图(30天)
显示旧的评论
假设我有一个变量
信谊z
和假设
assumeAlso (abs (z) > 1);
assumeAlso (abs (z) > 2);
假设
唯一的z值,满足这两个假设都abs (z) > 2。有什么办法可以“减少”的假设在z的一个assumpton实际上是可操作的。更普遍的是,会有一个办法,如果有几个assumptons z,在这种情况下,可能会有,零,一个,或两个操作assumptons吗?所有的假设都将表单的abs (z) > ki或abs (z) < ki,每个吻都是象征性的,真正的常数。例如
assumeAlso (abs (z) < 4)
假设
在这种情况下,结果应该abs (z)和abs (z) < 4 > 2。