Flashcard FC92123
Qual é a negação lógica de P → Q?
Lógica de Proposições
CEBRASPE (CESPE) · 2024
Qual é a negação lógica de P → Q?
Mostrar resposta e comentário
Resposta
P ∧ ¬QExplicação:
Usando a equivalência \(P\to Q\equiv \neg P \lor Q\) temos \( \neg(P\to Q)\equiv \neg(\neg P \lor Q)\).
Aplicando De Morgan: \( \neg(\neg P \lor Q)\equiv P\land\neg Q\).
Exemplo:
Se P = Estudou e Q = Passou no exame:
Se estudou (P verdadeiro) e não passou (Q falso), então \(P\land\neg Q\) é verdadeiro, logo \( \neg(P\to Q)\) é verdadeiro.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/83136
Conteúdo do catálogo FC Concursos · Atualizado em