Flashcard FC558344
Que tipo de proposição é (P ∧ Q) → (P ∨ ¬Q)?
Lógica de Proposições
FUNDATEC · 2025
Que tipo de proposição é (P ∧ Q) → (P ∨ ¬Q)?
Mostrar resposta e comentário
Resposta
A proposição é uma tautologia.
• Transformação: Ao transformar a implicação em disjunção e aplicar De Morgan obtém-se (¬P∨P)∨¬Q.
• Motivo: Como ¬P∨P é sempre verdadeira, a expressão é verdadeira para toda avaliação lógica.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546120
Conteúdo do catálogo FC Concursos · Atualizado em