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?