Flashcard FC329781
Qual é a negação lógica de p ↔ q em termos de p e q?
Lógica de Proposições
IBGP · 2021
Qual é a negação lógica de p ↔ q em termos de p e q?
Mostrar resposta e comentário
Resposta
\(\neg(p\leftrightarrow q)\equiv (p\land\neg q)\lor(\neg p\land q)\)
Explicação:
A negação de uma bicondicional é verdadeira exatamente quando uma das proposições é verdadeira e a outra é falsa.
Em linguagem: é a disjunção exclusiva (XOR) entre p e q.
Em fórmulas: \( \neg(p\leftrightarrow q)\equiv (p\land\neg q)\lor(\neg p\land q)\).
Exemplo:
Seja p = estudou para a prova e q = passou na prova.
A negação é verdadeira se estudou e não passou ou não estudou e passou — exatamente um dos fatos ocorre.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/329366
Conteúdo do catálogo FC Concursos · Atualizado em