Considere as afirmações:
I. Se o algoritmo funciona, então o resultado está correto.
II. O algoritmo funciona ou os dados iniciais não são falsos.
III. Os dados iniciais não são falsos e o algoritmo não funciona.
IV. Se os dados iniciais são falsos ou o algoritmo não funciona, então o resultado está correto.
V. Se o resultado está correto, então os dados iniciais são falsos.
De fato, é verdadeiro que o resultado não está correto. É verdadeiro que os dados iniciais não são falsos. É verdadeiro que o algoritmo não funciona.
Desse modo, a sequência dos valores lógicos (V: verdadeiro; F: falso) das afirmações I, II, III, IV e V é, respectivamente:
I. Se o algoritmo funciona, então o resultado está correto.
II. O algoritmo funciona ou os dados iniciais não são falsos.
III. Os dados iniciais não são falsos e o algoritmo não funciona.
IV. Se os dados iniciais são falsos ou o algoritmo não funciona, então o resultado está correto.
V. Se o resultado está correto, então os dados iniciais são falsos.
De fato, é verdadeiro que o resultado não está correto. É verdadeiro que os dados iniciais não são falsos. É verdadeiro que o algoritmo não funciona.
Desse modo, a sequência dos valores lógicos (V: verdadeiro; F: falso) das afirmações I, II, III, IV e V é, respectivamente:
