Em uma empresa de tecnologia, o gerente de projetos está avaliando duas condições para a entrega de um software. Ele define duas proposições:
P: "O software foi concluído dentro do prazo." Q: "O software foi testado e aprovado."
Para garantir a entrega do software, o gerente estabelece a seguinte proposição:
"Se o software foi concluído dentro do prazo (P), então o software deve ter sido testado e aprovado (Q)" (P → Q)
Entretanto, o supervisor recebeu do programador uma informação escrita de maneira diferente desta concluída pelo gerente e deseja saber se elas são logicamente equivalentes.
Qual das alternativas a seguir apresenta uma proposição que é logicamente equivalente àquela informada pelo gerente?
- A O software não foi concluído dentro do prazo ou o software deve ter sido testado e aprovado.
- B Se o software não foi concluído dentro do prazo, então o software deve ter sido testado e aprovado.
- C O software foi concluído dentro do prazo ou o software não deve ter sido testado e aprovado.
- D Se o software não foi concluído dentro do prazo, então o software não deve ter sido testado e aprovado.
- E Se o software foi concluído dentro do prazo, então o software não deve ter sido testado e aprovado.