Carregando...
Carregando...
Carregando...
Seja s i s_i uma proposição dada por um laço da forma: enquanto B, faça P fim do enquanto Na verificação de correção do trecho s i s_i , se Q Q é a pré-condição, qual deve ser a pós-condição que deve ser verificada após a aplicação da proposição s i s_i ?
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 Se Q Q é a pré-condição e s i s_i é a proposição dada pelo laço acima, após a aplicação desse trecho de código, além da própria condição Q Q , deverá também ser válida a condição B ' B' . De fato, o laço s i s_i somente termina após a verificação de B ' B' . Por esse motivo, a condição será Q ∧ B ' Q \wedge B' .