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 es

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.