Next:
Weakening Rule
Up:
Assignment Rule
Previous:
Example Two
Contents
Proofs
See Appendix
for two proofs of the Assignment Rule.
David Goodwin 2008-09-20
![[*]](crossref.png)
for two proofs of the Assignment Rule.