[LauraP]

Can someone backtrack this for me

Find the weakest precondition for the following sequences of assignment statements and postconditions

1. a=2*(b-1)-1 {a>0}
2*(b-1)-1>0

My answer I got is b>2

2. b=(c+10)/3 {b>6}
(c+10)/3>6

*How do I figure this?*