Informática, perguntado por rva75782014, 4 meses atrás

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 silvarpj
22

Resposta:

Alternativa C

Q ∧ B'

Explicação:


canalcuriosidadesdom: cara vcs ajudam demais!!! :)
antoniocarrilho3: Obrigado
Respondido por cleberbritoalves
5

Resposta:

Q ∧ B'

Explicação:

ava

Perguntas interessantes