PERGUNTA 7 Seja, uma proposição dada por um laço da forma: enquanto B, faça P fim do enquanto Q Na verificação de correção do trecho, se é a pré- condição, qual deve ser a pós-condição que deve ser verificada após a aplicação da proposição,,? a. QVB. Ob.Q`AB. OC. QAB'. Od.Q^B. O e. B'.​