Considere o trecho de um algoritmo em pseudocódigo
que mostra comandos condicionais (se) aninhados com
início e fim delimitados por { }: if ( T1 )
{ Comando1;
if ( T2 e T3) { Comando2;
Comando3;
} else Comando4;
if ( T4 ou T5 ) Comando5; else { Comando6;
}
Comando7; }
Analisando esse trecho, é CORRETO afirmar que: