Help


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.
Formally, let P be an expression in which the variable x is free.
Then:

2.242 seconds.