Question

Considere as sentenças abaixo e assinale a alternativa correta.

i. Se uma asserção após uma declaração de atribuição é y > 4, então a precondição tem que ser y 2 4.

ii. Na demonstração de correção, são utilizadas técnicas de um sistema de lógica formal

lit. Cláusulas de Horn são compostas somente por predicados negados

Apenas I e ii estão corretas.

Apenas ii está correta.

Apenas i está correta,

Apenas i e ili estão corretas.

Apenas i está correta.

Answer 1

Resposta:

Explicação passo-a-passo:

Answer 2

Resposta:

Apenas i e iii estão corretas.