Vamos analisar cada afirmativa: I. A lógica de predicados se concentra apenas em proposições simples. Falso. A lógica de predicados lida com proposições mais complexas, envolvendo relações entre objetos e utilizando predicados e quantificadores. II. A lógica proposicional permite expressar relações complexas entre objetos. Falso. A lógica proposicional lida com proposições simples e combinações delas, mas não expressa relações complexas entre objetos como a lógica de predicados. III. A lógica proposicional lida com proposições que podem ser verdadeiras ou falsas. Verdadeiro. Essa afirmativa está correta, pois a lógica proposicional realmente lida com proposições que têm valores de verdade. IV. A lógica de predicados utiliza quantificadores como ∀ e ∃ para expressar proposições. Verdadeiro. Essa afirmativa também está correta, pois a lógica de predicados utiliza esses quantificadores para expressar relações e propriedades de objetos. Portanto, as afirmativas corretas são III e IV. A alternativa que contém todos os itens verdadeiros é: "é correto o que se afirma em: III e IV".