• Matéria: Matemática
  • Autor: raianedias009
  • Perguntado 5 anos atrás

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.

Respostas

respondido por: positronjf
1

Resposta:

Explicação passo-a-passo:

respondido por: rogeriusmotta
2

Resposta:

Apenas i e iii estão corretas.

Perguntas similares