Come dimostrare l'equivalenza tra gli assiomi di assegnazione di Hoare e Floyd?

Question

Come dimostrare che questi due assiomi sono equivalenti:

1: $ {g [v/e] } v: = e {g } $

2: $ {f } v: = e { esiste v '(f [v/v'] land v = e [v/v ']) } $

Ho provato con $ g = esiste v '(f [v/v'] land v = e [v/v ']) $ e poi ottengo $ g [v/e] = f $, ma quando Provo $ f = g [v/e] $ quindi da $ esiste v '(f [v/v'] land v = e [v/v ']) $ non posso ottenere $ g $.

È anche il modo corretto di affrontare questa prova?

Grazie!

PS c'era già una domanda, ma non ha risposto: Come mostrare l'equivalenza dell'assegnazione di Hoare Axiom vs Floyd Assegnation Axiom?