Questão FC149069
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
Considere a seguinte proposição: “Se Antônio resolver corretamente esta prova, então ele passará no concurso”. Nessa situação, é correto concluir que “Se Antônio não resolver corretamente esta prova, então ele não passará no concurso”.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Comentário: A proposição original "Se Antônio resolver corretamente esta prova, então ele passará no concurso" é uma condicional que pode ser representada como A → B, onde A é "Antônio resolver corretamente a prova" e B é "Antônio passará no concurso". A afirmação "Se Antônio não resolver corretamente esta prova, então ele não passará no concurso" sugere que a negação da antecedente (não A) implica na negação da consequente (não B), o que representa uma forma lógica chamada de "negação do condicional", que não é válida. A forma correta para a negação da proposição original seria que "Antônio pode não resolver a prova e ainda assim passar no concurso", portanto, as proposições não são equivalentes e a conclusão apresentada está errada.
Conteúdo do catálogo FC Concursos · Atualizado em