Seja s subscript 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 subscript i, se 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 subscript i?
Lista de comentários
Resposta:
Alternativa C
Q ∧ B'
Explicação:
Resposta:
Q ∧ B'
Explicação:
ava