- ID
- 930883
- Banca
- CESPE / CEBRASPE
- Órgão
- SERPRO
- Ano
- 2010
- Provas
- Disciplina
- Programação
- Assuntos
Considere um programa P, cujo predicado Q(X) descreve as condições que os valores de entrada devem satisfazer, e um predicado R, que descreve as condições que os valores de saídas devem satisfazer. Nesse caso, o programa P estará corretoseacondicional ( ∀ X )(Q(X) ) → R[X,P{X)]) forválida.