Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:forward_vcg [2009/03/10 20:50] vkuncak |
sav08:forward_vcg [2009/03/10 20:50] vkuncak |
||
---|---|---|---|
Line 97: | Line 97: | ||
\[ | \[ | ||
\begin{array}{l} | \begin{array}{l} | ||
- | sp(x \ge 5 \land y \ge 3, x=x+1) = \\ | + | sp(x \ge 5 \land y \ge 3, x=x+y+10) = \\ |
\exists x_0.\ x_0 \ge 5 \wedge y \ge 3\ \land\ x = x_0 + y + 10 \\ | \exists x_0.\ x_0 \ge 5 \wedge y \ge 3\ \land\ x = x_0 + y + 10 \\ | ||
\leftrightarrow \ y \ge 3 \land x \ge y + 15 | \leftrightarrow \ y \ge 3 \land x \ge y + 15 |