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?
Anexos:
alhistoria5:
Assinale a alternativa que corresponde à equivalência tautológica que justifica a utilização de demonstrações por contraposição.
Soluções para a tarefa
Respondido por
22
Resposta:
Alternativa C
Q ∧ B'
Explicação:
Respondido por
5
Resposta:
Q ∧ B'
Explicação:
ava
Perguntas interessantes
Pedagogia,
4 meses atrás
Matemática,
4 meses atrás
Matemática,
4 meses atrás
ENEM,
4 meses atrás
Matemática,
4 meses atrás
Sociologia,
10 meses atrás
Matemática,
10 meses atrás