O gabarito deveria ser ERRADO.
Suponha a seguinte estrutura:
PARA (INT X = 1; X < 1; X++) FAÇA
{
..
}
Como X já é inicializado com valor 1; ele nunca será menor do que 1, e portanto nesse caso o laço de repetição nunca será executado.
Aliás, vejam aqui onde trata disso: http://www.apoioinformatica.inf.br/produtos/item/14-comandos-de-repeticao
A questão está CERTA.
Veja, há 4 partes no laço for:
for(inicialização(1); expressão de teste(2); expressão de incremento(3)) {
corpo do laço(4)
}
Necessariamente, ao menos uma vez, o laço é executado - para sua inicialização (1) e para um primeiro teste (2).
a) Se passar no teste (2) - a condição for verdadeira -, incrementa/decrementa (3) e executa o corpo do laço (4).
- O laço continua sendo executado; repete a execução até a condição de teste não ser mais verdadeira.
a) Se NÃO passar no teste (2) - a condição não for verdadeira -, NÃO incrementa/decrementa (3) e NÃO executa o corpo do laço (4) e, de pronto, encerra o laço.
- O laço, que será encerrado de pronto, foi executado uma vez, embora não tenha entrado na parte (4) - corpo do laço.
-> http://www.inf.ufpr.br/cursos/ci067/Docs/NotasAula/notas-15_Outras_Estruturas_Repeti.html