等价转换……脑子一片空白

问题描述

我需要确认一下。我的脑子一片空白……：/

以下是等价转换，不是吗？

(? ≥ ? − ? ∧ ? ≤ ? − 2 ⇒ ?[?] ≤ ?[? + 1]) ∧ ? ≤ ? − 2 
                 ⇕ 
(? ≥ 2 ∧ ? ≤ ? − 2 ⇒ ?[?] ≤ ?[? + 1])

因为

(? ≤ ? − 2) ⇔ ? − ? ≥ 2

为此

? ≥ ? − ? ⇔  ? ≥ 2

或者只是从上到下的一个含义？我认为这是一个等效的转换。

我用它来证明一些使用 Hoare-Logic 的算法。

请有人仔细检查一下:)谢谢。

--编辑--

是的，很好。最上面的一个是不变的，因此总是正确的。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）