A disjunção inclusiva (OU) é o conectivo que torna a proposição composta verdadeira quando pelo menos uma das sentenças simples é verdadeira. Em provas, interpretar corretamente o OU inclusivo evita confusões com o OU exclusivo e agiliza resoluções.
O que é disjunção inclusiva (OU)?
Dadas proposições p e q, a disjunção inclusiva é escrita como p ∨ q e lê-se “p ou q”. Ela é verdadeira quando:
- p é verdadeira, ou
- q é verdadeira, ou
- ambas são verdadeiras.
É falsa somente quando p e q são simultaneamente falsas.
Tabela-verdade da disjunção inclusiva (OU)
Memorize o padrão: só dá F quando as duas forem F.
| p | q | p ∨ q |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
OU inclusivo só é falso quando ambos os simples são falsos. Esse gatilho mental resolve muitas questões sem montar a tabela inteira.
Se quiser revisar o método completo de construção de linhas e padrões, veja o guia de Tabela Verdade.
Como ler e traduzir o OU inclusivo em enunciados
Expressões comuns que costumam indicar disjunção inclusiva:
- “A ou B” (sem restrição adicional)
- “Pelo menos um…”
- “Qualquer um dos seguintes…”
- “Ou ainda…”
Se o texto permitir simultaneidade, trate como OU inclusivo. Exemplo de leitura: “O candidato possui graduação ou experiência.” Aqui, possuir os dois também satisfaz a condição.
Quando o enunciado traz “exatamente um”, “apenas um”, “mas não ambos”, “no máximo um”, a interpretação é de OU exclusivo, não inclusivo.
Para comparar os conectivos, consulte também: disjunção exclusiva (OU…OU), conjunção lógica (E) e o panorama em Proposições Lógicas.
Disjunção inclusiva x disjunção exclusiva (OU…OU)
A diferença central: no OU inclusivo, V ou V dá V; no OU exclusivo, V ou V dá F.
| p | q | p ∨ q (inclusivo) | p |
|---|---|---|---|
| V | V | V | F |
| V | F | V | V |
| F | V | V | V |
| F | F | F | F |
Propriedades e equivalências úteis
- Comutativa: p ∨ q ≡ q ∨ p
- Associativa: (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
- Distributiva (sobre ∧): p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
- Identidade e dominação: p ∨ F ≡ p; p ∨ V ≡ V
- Idempotência: p ∨ p ≡ p
- Absorção: p ∨ (p ∧ q) ≡ p
- De Morgan (negação do OU): ¬(p ∨ q) ≡ ¬p ∧ ¬q
- Com condicional: p ∨ q ≡ ¬p → q (útil para reescrever enunciados com “se… então”). Veja também interpretação da condicional.
Negar “p ou q” como “não p ou não q”. Incorreto. A negação correta é “não p e não q”.
Exemplos resolvidos
Exemplo resolvido
Exemplo: Interprete a proposição: “Estudo 3 horas no domingo ou resolvo 20 questões”. Se o candidato estudou 3 horas e resolveu 20 questões, a proposição é verdadeira ou falsa?
Resolução:
A leitura padrão de “ou” na Lógica Proposicional é inclusiva. Assim, basta pelo menos uma ação verdadeira para a sentença ser verdadeira — e ambas verdadeiras também satisfazem a disjunção. Como as duas ações ocorreram, a proposição é verdadeira.
Resposta: Verdadeira.
Exemplo resolvido
Exemplo: Negue a proposição: “Carlos viaja para Roma ou para Paris”.
Resolução:
Use De Morgan: ¬(p ∨ q) ≡ ¬p ∧ ¬q. Se p = “Carlos viaja para Roma” e q = “Carlos viaja para Paris”, a negação é “Carlos não viaja para Roma e não viaja para Paris”.
Resposta: “Carlos não viaja para Roma e não viaja para Paris”.
Exemplo resolvido
Exemplo: Simplifique a expressão p ∨ (¬p ∧ q).
Resolução:
Distribua: p ∨ (¬p ∧ q) ≡ (p ∨ ¬p) ∧ (p ∨ q). Como (p ∨ ¬p) ≡ V, então a expressão vira V ∧ (p ∨ q) ≡ p ∨ q.
Resposta: p ∨ q.
Estratégias rápidas em provas
- Regra de ouro: p ∨ q só é F quando p e q forem F simultaneamente.
- Ao negar um OU, transforme em E das negações (De Morgan): ¬(p ∨ q) ≡ ¬p ∧ ¬q.
- Se o texto indicar “apenas um”, trate como OU exclusivo (use a tabela comparativa acima).
- Para simplificar, procure absorção e distributividade: muitas expressões com OU colapsam rápido.
Para consolidar os conectivos, vale revisar a conjunção (E) e o guia de proposições.
Encerramento
A disjunção inclusiva é um pilar da Lógica Proposicional e aparece em enunciados de forma muito natural. Domine a leitura, a tabela-verdade e as equivalências para ganhar velocidade e precisão nas questões.
Quer aprofundar sua preparação em Matemática e Raciocínio Lógico com teoria objetiva e exercícios comentados? Conheça o Exatas Express.