Confusione sull'assioma di assegnazione nella logica Hoare

Question

Volevo sapere se ci viene dato il triplo FFG Hoare:

{x = 43} x: = x + 1 {x = 44}

Come mostriamo che questo è un triplo di Hoare valido?

Il mio tentativo è stato:

Utilizzando l'assegnazione Axiom: {x + 1 = 43} x: = x + 1 {x = 44}

Ma questo non ha senso. Voglio anche sapere cosa è andato storto nel mio tentativo?