Em um relatório técnico sobre a qualidade do atendimento em uma unidade de saúde, um analista formalizou as seguintes sentenças, utilizando a linguagem da lógica de primeira ordem:

• P1: "Todo paciente que deu entrada com febre alta foi submetido ao protocolo de hidratação."
• P2: "Algum paciente que deu entrada com febre alta não foi submetido ao protocolo de hidratação."
• P3: "Se um paciente foi submetido ao protocolo de hidratação, então ele recebeu alta em menos de 24 horas."
• P4: "Nenhum paciente que recebeu alta em menos de 24 horas apresentou complicações posteriores."

Considerando que as sentenças P1, P2, P3 e P4 são todas proposições e que a sentença P2 é verdadeira, avalie as afirmativas a seguir:

I. A sentença P1 é necessariamente falsa.

II. A sentença P3, se verdadeira, garante que todo paciente que deu entrada com febre alta recebeu alta em menos de 24 horas.

III. A sentença P4, se verdadeira, implica que nenhum paciente que deu entrada com febre alta apresentou complicações posteriores.

IV. A sentença P2 é logicamente equivalente à negação de P1.

Está correto o que se afirma em: