Vamos analisar cada uma das sentenças: I- A modularização consiste em quebrar (dividir) um algoritmo maior em pequenas partes, que são chamadas de módulos ou subalgoritmos. Verdadeiro, essa é uma definição correta de modularização. II- Os algoritmos podem possuir apenas um subalgoritmo, não sendo possível construir dois módulos dentro de um algoritmo. Falso, um algoritmo pode ter múltiplos subalgoritmos ou módulos, não há restrição para ter apenas um. III- O módulo principal solicita a execução de vários módulos em uma sequência determinada. Verdadeiro, isso é uma característica comum em programas modularizados, onde um módulo principal chama outros módulos. IV- Quando é criado um módulo, especifica-se o número e os tipos das variáveis que correspondem aos parâmetros. Verdadeiro, ao criar um módulo, é comum definir os parâmetros que ele receberá, incluindo seus tipos. V- As declarações locais são variáveis que podem ser utilizadas por qualquer módulo. Falso, variáveis locais são acessíveis apenas dentro do módulo onde foram declaradas. Agora, vamos ver quais sentenças estão corretas: - I: Correta - II: Incorreta - III: Correta - IV: Correta - V: Incorreta Portanto, as sentenças corretas são I, III e IV. A alternativa que contém todas as sentenças verdadeiras é: B) As sentenças I, III e IV estão corretas.