Flashcard FC518647
Que leis justificam a equivalência entre ¬(Q→P) ∨ (¬B ∨ ¬C) e ¬[(B ∧ C) ∧ (Q → P)]?
Lógica de Proposições
CEBRASPE (CESPE) · 2025
Que leis justificam a equivalência entre ¬(Q→P) ∨ (¬B ∨ ¬C) e ¬[(B ∧ C) ∧ (Q → P)]?
Mostrar resposta e comentário
Resposta
Sim. Aplicando De Morgan a ¬[(B ∧ C) ∧ (Q → P)] obtém-se (¬B ∨ ¬C) ∨ ¬(Q → P), que por comutatividade da disjunção é igual a ¬(Q → P) ∨ (¬B ∨ ¬C).
• De Morgan: ¬(X ∧ Y) é equivalente a ¬X ∨ ¬Y, aplicada para separar os conjun¬tos no termo negado.
• Comutatividade: a disjunção é comutativa, permitindo rearranjar os disjuntos para obter a forma desejada.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Tautologia, Contradição e Contingência
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/514844
Conteúdo do catálogo FC Concursos · Atualizado em