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?
ASe o software não foi concluído dentro do prazo, então o software deve ter sido testado e aprovado.
BO software não foi concluído dentro do prazo ou o software deve ter sido testado e aprovado.
CSe o software não foi concluído dentro do prazo, então o software não deve ter sido testado e aprovado.
DO software foi concluído dentro do prazo ou o software não deve ter sido testado e aprovado.
ESe o software foi concluído dentro do prazo, então o software não deve ter sido testado e aprovado.
Revelar resposta correta
Resposta corretaAlternativa correta: B
Estude com continuidade
Pratique mais questões de Lógica Proposicional.
Configure quantidade, alternativas e cronômetro para praticar novamente Matemática e Lógica Proposicional.
Considere a proposição P: (p → q) v (¬p → q). Para analisar se P é uma tautologia, avalie as justificativas abaixo. I. A expressão é sempre verdadeira quando q é verdadeira. II. Se p é verdadeira e q é falsa, a expressão torna-se falsa. III. Quando p é falsa, a implicação p → q é
Admita como verdadeira a seguinte afirmação: “Se uma pessoa pratica natação, então ela tem um ótimo preparo físico.” Sabendo-se que Júlio tem ótimo preparo físico e que Renata não tem ótimo preparo físico, é necessariamente verdade que:
George, durante uma partida de futebol, pensou o seguinte: “Eu vou driblar esse adversário e vou fazer o cruzamento para meu companheiro”. A sentença que representa a negação lógica do que George pensou é:
