Flashcard FC628315
Qual a negação lógica de uma implicação \(P \to Q\)?
Lógica de Proposições
NC UFPR (FUNPAR) · 2019
Qual a negação lógica de uma implicação \(P \to Q\)?
Mostrar resposta e comentário
Resposta
\(P \land \lnot Q\)Explicação:
Sabendo que \(P \to Q\) é equivalente a \(\lnot P \lor Q\), sua negação é \(\lnot(\lnot P \lor Q)\). Aplicando as leis de De Morgan, obtemos \(P \land \lnot Q\).
Exemplo:
Seja \(P\)=estudo, \(Q\)=passo no exame.
A implicação: "Se estudo, então passo no exame" corresponde a \(P \to Q\).
A negação lógica é "estudo e não passo no exame", que corresponde a \(P \land \lnot Q\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/626334
Conteúdo do catálogo FC Concursos · Atualizado em