Disjunção exclusiva e bicondicional: a ideia central
A relação entre disjunção exclusiva e bicondicional é direta: a disjunção exclusiva entre p e q (“ou p ou q, mas não ambos”) é exatamente a negação da bicondicional p ↔ q (“p se e somente se q”). Em símbolos: p ∨ q ≡ ¬(p ↔ q). Essa equivalência aparece com frequência em provas e, quando bem entendida, agiliza muito a resolução de itens.
Definições rápidas
- Disjunção exclusiva (OU…OU): verdadeira quando exatamente um dos dois é verdadeiro. Notação preferencial no Exatas Express: p ∨ q. Outras obras podem usar ⊕.
- Bicondicional (SE E SOMENTE SE): verdadeira quando p e q têm o mesmo valor lógico. Notação: p ↔ q.
Tabela-verdade conjunta
A tabela abaixo mostra, linha a linha, como p ∨ q coincide com ¬(p ↔ q):
| p | q | p ↔ q | ¬(p ↔ q) | p ∨ q |
|---|---|---|---|---|
| V | V | V | F | F |
| V | F | F | V | V |
| F | V | F | V | V |
| F | F | V | F | F |
Repare: quando p e q coincidem (VV ou FF), o bicondicional é verdadeiro e a disjunção exclusiva é falsa. Quando diferem (VF ou FV), ocorre o inverso. São complementares.
Por que uma é a negação da outra?
Leitura semântica
- p ↔ q: verdade quando p e q são iguais (ambos verdadeiros ou ambos falsos).
- ¬(p ↔ q): verdade quando p e q são diferentes (um verdadeiro e o outro falso).
- p ∨ q: exatamente isso — p e q têm valores diferentes. Logo, p ∨ q ≡ ¬(p ↔ q).
Prova algébrica (equivalências passo a passo)
Partindo da bicondicional:
p ↔ q ≡ (p → q) ∧ (q → p) ≡ (¬p ∨ q) ∧ (¬q ∨ p)
Distributivamente (ou usando forma canônica), obtém-se: p ↔ q ≡ (p ∧ q) ∨ (¬p ∧ ¬q).
Negando:
¬(p ↔ q) ≡ ¬[(p ∧ q) ∨ (¬p ∧ ¬q)] ≡ [¬(p ∧ q)] ∧ [¬(¬p ∧ ¬q)]
≡ (¬p ∨ ¬q) ∧ (p ∨ q) ≡ (p ∨ q) ∧ ¬(p ∧ q).
Mas (p ∨ q) ∧ ¬(p ∧ q) é precisamente a definição clássica de OU exclusivo. Portanto, ¬(p ↔ q) ≡ p ∨ q.
Para negar “p se e somente se q”, diga: “ou p e não q, ou não p e q” — isto é, (p ∧ ¬q) ∨ (¬p ∧ q). É o OU exclusivo em forma disjuntiva.
Não confunda OU inclusivo (p ∨ q) com OU exclusivo (p ∨ q). No inclusivo, “p ou q” permite ambos verdadeiros; no exclusivo, ambos verdadeiros tornam a sentença falsa.
Formas equivalentes úteis em questões
- p ∨ q ≡ ¬(p ↔ q)
- p ∨ q ≡ (p ∧ ¬q) ∨ (¬p ∧ q)
- p ∨ q ≡ (p ∨ q) ∧ ¬(p ∧ q)
- ¬(p ↔ q) ≡ (p ∧ ¬q) ∨ (¬p ∧ q)
Guarde ao menos uma forma para identificar rapidamente a estrutura pedida no enunciado. Se o texto enfatiza exclusão (“mas não ambos”), use p ∨ q. Se o comando é “negar o bicondicional”, escreva ¬(p ↔ q) ou uma de suas formas equivalentes acima.
Exemplo resolvido
Exemplo: Sejam p: “O laudo é favorável” e q: “O contrato é assinado”. Afirmou-se: “O laudo é favorável se e somente se o contrato é assinado”. Negue corretamente essa afirmação e identifique o conectivo resultante.
Resolução:
O enunciado é p ↔ q. Negando: ¬(p ↔ q). Pela equivalência vista, ¬(p ↔ q) ≡ (p ∧ ¬q) ∨ (¬p ∧ q), que é um OU exclusivo: exatamente um dos fatos ocorre.
Em linguagem: “Ou o laudo é favorável e o contrato não é assinado, ou o laudo não é favorável e o contrato é assinado” — não podem ocorrer juntos nem ambos deixarem de ocorrer.
Resposta: (p ∧ ¬q) ∨ (¬p ∧ q), isto é, p ∨ q.
Exemplo resolvido 2
Exemplo: Interprete logicamente: “Ou o servidor assume o plantão ou entrega o relatório, mas não as duas coisas”. Reescreva como negação de um conectivo conhecido.
Resolução:
Trata-se de OU exclusivo: p ∨ q. Pela equivalência, p ∨ q ≡ ¬(p ↔ q). Assim, a frase também pode ser lida como “não (o servidor assume o plantão se e somente se entrega o relatório)”.
Resposta: p ∨ q ≡ ¬(p ↔ q).
Negar “p se e somente se q” trocando por “se… então” simples (p → q) está errado. A negação correta é disjunção exclusiva: (p ∧ ¬q) ∨ (¬p ∧ q).
Como isso aparece nas provas
- Negação de frases com “se e somente se” pedindo a forma simbólica correta.
- Textos com “ou…ou” (expresso ou implícito por “mas não ambos”) que exigem traduzir para símbolos.
- Itinerários de equivalência pedindo reconhecer que (p ∨ q) ∧ ¬(p ∧ q) é igual a ¬(p ↔ q).
Leituras relacionadas para consolidar
Se precisar revisar os conectivos de base ou aprofundar as técnicas de transformação, veja:
- Disjunção exclusiva (OU…OU): como funciona e como resolver questões
- Bicondicional (SE E SOMENTE SE): como interpretar
- Equivalências Lógicas: Guia Completo para Concursos
- Negações Lógicas: Guia Completo para Concursos
Fechamento
O ponto-chave é simples e poderoso: disjunção exclusiva e bicondicional são negações entre si. Memorize e entenda as formas equivalentes para alternar rapidamente entre linguagem natural e simbologia nas questões.
Quer treinar esse tipo de conversão com orientação passo a passo e foco em provas? Conheça o Exatas Express, com trilhas práticas de Matemática e Raciocínio Lógico para concursos.