Page "Hoare logic" Paragraph 9
from
Wikipedia
The assignment axiom states that after the assignment any predicate holds for the variable that was previously true for the right-hand side of the assignment.
Page 1 of 1.
2.242 seconds.