Considere um programa P, cujo predicado Q(X) descreve ...
Próximas questões
Com base no mesmo assunto
Ano: 2010
Banca:
CESPE / CEBRASPE
Órgão:
SERPRO
Prova:
CESPE - 2010 - SERPRO - Analista - Tecnologia da Informação |
Q310292
Programação
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.