FC ConcursosFC Concursos

Questão FC149070

Proposições das formas A→B, ¬A ∨ B e ¬B → ¬A são sempre equivalentes. A partir dessa informação e das definições incluídas no texto, julgue o item a seguir. Considere a seguinte pr

Lógica de Proposições

CEBRASPE (CESPE)

Proposições das formas A→B, ¬A ∨ B e ¬B → ¬A são sempre equivalentes. A partir dessa informação e das definições incluídas no texto, julgue o item a seguir.

Considere a seguinte proposição: “Alice não foi ao cinema ou Bernardo foi jogar futebol”. Dessa proposição, é correto concluir que “Se Bernardo não foi jogar futebol, então Alice não foi ao cinema”
Mostrar resposta e comentário

Gabarito

Certo

Comentário do professor

Comentário: A proposição “Alice não foi ao cinema ou Bernardo foi jogar futebol” pode ser representada logicamente como ¬A ∨ B. A afirmação “Se Bernardo não foi jogar futebol, então Alice não foi ao cinema” se traduz como ¬B → ¬A. Usando a equivalência lógica conhecida como a lei do contrapositivo, sabemos que ¬B → ¬A é equivalente a A ∨ B. Portanto, ambas as proposições são equivalentes, confirmando que a conclusão está correta. Assim, a proposição inicial implica a conclusão dada.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo