Questão FC149286
Considerando que A, B e C sejam proposições, que os símbolos ∨ e ∧ representam os conectivos “ou” e “e”, respectivamente, e que o símbolo ¬ denota o modificador negação, julgue o i
Lógica de Proposições
Se a proposição A ∨ B → C é verdadeira, então a proposição ¬C → ¬(A ∨ B) é também verdadeira.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A proposição apresentada utiliza as regras da lógica proposicional, especificamente a lei de De Morgan e a regra da contraposição. A primeira parte afirma que se "A ou B" implica "C", então a negação de "C" implica a negação de "A ou B". Isso é verdadeiro, pois se C é falso, pelo menos uma das proposições A ou B também deve ser falsa para que a implicação inicial se mantenha verdadeira. Assim, a relação entre as proposições é válida, confirmando que a proposição é verdadeira se a condição inicial for satisfeita. Portanto, a afirmação está correta.
Conteúdo do catálogo FC Concursos · Atualizado em