Cosa significa "rafforzare il presupposto e indebolire la postcondizionamento" in Hoare Logic?

Question

Avendo imparato un riassunto della logica di Hoare (cioè imparare solo il concetto di base di triple Hoare e alcune regole) ho continuato a vedere una dichiarazione in questo senso:

La regola della costruzione ci consente di rafforzare il presupposto e indebolire la postcondizionamento. (parafrasato)

1. Cosa significa effettivamente Rafforzare il presupposto e a indebolire la postcondizionamento?

2. È e usato nel suo rigoroso significato logico in questo senso, cioè se applichiamo la regola delle conseguenze lo faremo sempre Entrambi? O può essere letto come permettendoci di scegliere di rafforzare il presupposto o indebolire la postcondizionamento?

Ottengo l'idea (molto semplice) della regola, ma questa affermazione implica che la regola può essere applicata per una ragione strategica che non è chiaramente spiegata.

Grazie.