• Matéria: Matemática
  • Autor: davigraneiro
  • 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 > 4.

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

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

Apenas ii está correta.
Apenas iii está correta.
Apenas i e iii estão corretas.
Apenas i e ii estão corretas.
Apenas i está correta.

alguem sabe??

Respostas

respondido por: juremanunes332
2

vishii ... vou ver se eu sei calma ae


davigraneiro: vc nao esta conseguindo baixar o anexo???
juremanunes332: ja foi baixado só que não entra
davigraneiro: desculpe o incomodo
davigraneiro: desde ja agradeço pela atenção
juremanunes332: aaaaaaaaah dcppp
juremanunes332: :(
juremanunes332: dcp msm
davigraneiro: tranquilo...nao tem problema ...desde ja agradeço pela atençao...att
juremanunes332: eii
juremanunes332: :/
Perguntas similares