Confusion sur l'affaignation axiome dans la logique Hoare

Question

Je voulais savoir si on nous donne le triple FFG Hoare:

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

Comment montrons-nous qu'il s'agit d'un triple Hoare valide?

Ma tentative était:

Utilisation de l'affectation Axiom: {x + 1 = 43} x: = x + 1 {x = 44}

Mais cela n'a pas de sens. Je veux aussi savoir ce qui ne va pas dans ma tentative?