Vamos analisar cada afirmação: I - A lógica proposicional modela funções. Falso. A lógica proposicional trabalha com proposições (sentenças declarativas que podem ser verdadeiras ou falsas), mas não modela funções. A modelagem de funções é característica da lógica de predicados. II - A lógica proposicional modela sentenças. Verdadeiro. A lógica proposicional trabalha exatamente com sentenças (proposições) simples ou compostas. III - A lógica de predicados permite composição de atributos. Verdadeiro. A lógica de predicados permite trabalhar com predicados que podem ter argumentos (atributos), possibilitando uma modelagem mais detalhada. Portanto, as afirmações corretas são II e III. Alternativa correta: E. II e III, apenas.