Cosa significa "rafforzare il presupposto e indebolire la postcondizionamento" in Hoare Logic?
-
04-11-2019 - |
Domanda
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)
Cosa significa effettivamente Rafforzare il presupposto e a indebolire la postcondizionamento?
È 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.
Nessuna soluzione corretta