Julgue as afirmações abaixo e marque a alternativa correta. I) Um programa provavelmente correto sempre dá as respostas certas a um dado problema....

Analisando as afirmações: I) Um programa provavelmente correto sempre dá as respostas certas a um dado problema. Essa afirmação está incorreta, pois a correção de um programa não garante que ele sempre dará as respostas corretas. II) A prova de correção envolve o desenvolvimento cuidadoso de conjuntos de dados para testes. Essa afirmação está incorreta. A prova de correção envolve a verificação lógica do programa, não apenas o desenvolvimento de conjuntos de dados para testes. III) Prova de correção usa a lógica formal. Essa afirmação está correta. A prova de correção de fato utiliza a lógica formal para verificar a correção de um programa. Portanto, a alternativa correta é: B) Apenas a afirmação III está correta.