求助！计算最弱前置条件

[zzppts]

（1）WP( x := 1 - x; IF x > 0 THEN y := 1-x, 0≤x≤1 ∧ y ≥0)
（2）WP(IF x < 0 THEN x := -x ELSE x := x-1, x ≥ 0)

[softch]

是南理工的同学吧，我是河南校区的，你呢？

[阿杰心路历程]

怎么看都不像是vb吧？