Pular para o conteúdo principal

Questão de Programação — Conceitos básicos de programação — CESPE / CEBRASPE 2010

ProgramaçãoConceitos básicos de programação
Código
ce315406
Banca
CESPE / CEBRASPE
Órgão
SERPRO
Ano
2010
Nível
Superior
Cargo
CESPE - - Analista - Tecnologia da Informaçã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.
  1. CCerto
  2. EErrado
Revelar gabarito e comentário

GabaritoC — Certo

Link permanente: /questoes/ce315406