Em um fluxo de pagamento, considere as afirmações:

 I: “Há inconsistência no cadastro.”
 V: “A solicitação é devolvida para correção.”
 P: “O pagamento é liberado.”
 D: “O documento está incompleto.”

Admita como premissas, simultaneamente verdadeiras:

1. Se há inconsistência no cadastro, então a solicitação é devolvida para correção.
2. Se a solicitação é devolvida para correção, então o pagamento não é liberado.
3. Pelo menos um dos dois problemas ocorreu: houve inconsistência no cadastro ou o documento está incompleto.
4. O pagamento foi liberado.

Com base exclusivamente nas premissas, assinale a conclusão logicamente necessária.

Quatro servidores (Ana, Bruno, Carla e Diego) farão apresentações, em uma única sessão, exatamente nesta ordem: 1º, 2º, 3º e 4º (sem empates).
Sabe-se que:

1. Diego apresenta imediatamente depois de Ana.
2. Ana apresenta antes de Carla.
3. Bruno não é o 1º.
4. Bruno apresenta antes de Carla.

Assinale a ordem necessariamente correta (do 1º ao 4º).

Considere as afirmações, no contexto de um hospital público:

 A: “O paciente foi triado.”
 B: “O prontuário foi aberto.”
 C: “O médico foi acionado.”

A direção estabelece a regra: “Se o paciente foi triado, então o prontuário foi aberto ou o médico foi acionado”.
Assinale a alternativa que expressa, de forma logicamente equivalente, a negação dessa regra.