🎯 Operador de Disjunção

Em poucas palavras

Operador binário que retorna verdadeiro quando pelo menos uma das expressões conectadas por ele é verdadeira. Na matemática, representado por $\vee$; na teoria dos conjuntos, equivale à união ($\cup$).

---

📝 Notas e Desenvolvimento

Definição

A disjunção (especificamente a disjunção inclusiva) é um operador lógico representado pelo símbolo $\vee$. Na teoria dos conjuntos, corresponde à união ($\cup$). Ela expressa a ideia de que pelo menos um caminho ou condição é suficiente.

O operador OU (OR) retorna verdadeiro se pelo menos uma das expressões conectadas por ele for verdadeira. O resultado só será falso se todas as expressões forem falsas. É empregado quando basta que uma das condições seja atendida.

Tabela de Verdade

Para uma proposição composta por duas partes conectadas por disjunção:

P	Q	P ∨ Q
V	V	V
V	F	V
F	V	V
F	F	F

Interpretação: A disjunção é falsa apenas quando ambas as proposições são falsas.

Aplicação Prática

Exemplos do uso de disjunção em diferentes contextos:

Lógica cotidiana:

• “Vou assistir um filme OU vou ler um livro” → Uma das duas atividades é suficiente
• “Pago com cartão OU com dinheiro” → Uma das formas de pagamento é aceitável

Em programação (Python):

tem_desconto_estudante = True
tem_cupom_promocional = False
 
pode_aproveitar_promocao = (tem_desconto_estudante) or (tem_cupom_promocional)
# Se pelo menos uma condição for verdadeira, pode aproveitar a promoção
print(pode_aproveitar_promocao)  # True

Em teoria dos conjuntos:

Se A = {1, 2, 3} e B = {2, 3, 4}, então A ∪ B = {1, 2, 3, 4}
(Elementos que pertencem a A OU a B)

Propriedades da Disjunção

• Comutativa: P ∨ Q = Q ∨ P
• Associativa: (P ∨ Q) ∨ R = P ∨ (Q ∨ R)
• Elemento neutro: P ∨ F = P
• Absorção: P ∨ V = V

Disjunção Inclusiva vs. Exclusiva

A disjunção inclusiva (ou) permite que ambas as proposições sejam verdadeiras simultane­amente. Existe também a disjunção exclusiva (XOR, ⊕), que é verdadeira apenas quando exatamente uma das proposições é verdadeira. Em Python, a operação XOR é representada por ^.

---

🔗 Conexões e Contexto

• Atlas: MdC - Programação | MdC - Matemática
• Notas Relacionadas:
  • Operador de Conjunção
  • Operador de negação
  • Operadores Lógicos em Python
  • Valores Booleanos
  • Teoria dos Conjuntos

---

📚 Referências e Fontes

Links Externos

• Disjunção — Wikipédia
• Operador OR — w3schools.com

Citações Diretas