Carregando...
Carregando...
Carregando...
O axioma de atribuição é uma daquelas regras de inferência que se mostra especialmente apropriada para declarações de atribuição. Afinal, o que esse axioma preconiza é que, quando a precondição e a pós-condição se encontram devidamente relacionadas, a consequência é que a Tripla de Hoare consegue ser posicionada em qualquer lugar junto a uma sequência de demonstração, dispensando que seja preciso inferir a seu respeito, quanto a alguma proposição anterior nessa sequência. Essa é a razão pela qual a Tripla de Hoare, diante de uma declaração de atribuição, seja similar a uma hipótese. Analise as asserções a seguir e a relação proposta entre elas. I. Na precondição, busca-se a localização de todos os lugares onde aparece a variável sobre a qual se conduz uma atribuição, na declaração de atribuição, logo acima da precondição. PORQUE II. Em cada um desses lugares, é preciso substituir a expressão que está sendo atribuída, o que consequentemente resulta na pós-condição. Avaliando essas asserções, é correto afirmar que :
Explique melhor esta questão
Abre o Tutor com o enunciado e as alternativas já no campo — você revisa e envia.
Esta questão foi verificada por um de nossos administradores.
JUSTIFICATIVA A asserção I está incorreta, porque é na pós-condição (e não na precondição) que se deve localizar todos os lugares onde aparece a variável sobre a qual se realiza a atribuição na declaração de atribuição, logo acima da pós-condição (e não da precondição). A asserção II está incorreta, porque o resultante é a precondição (e não a pós-condição), quando, em cada um desses lugares, efetua-se a substituição da expressão que está sendo atribuída.