Disjunção lógica
Origem: Wikipédia, a enciclopédia livre.
| OPERAÇÕES MATEMÁTICAS |
| Aritmética |
| Adição |
| Subtração |
| Multiplicação |
| Divisão |
| Exponenciação |
| Radiciação |
| Logaritmação |
| Lógica |
| Conjunção |
| Disjunção |
| Implicação |
| Negação |
Em lógica e matemática, a disjunção é um indicação "OU". Por exemplo "João esquia ou Sonia nada" é uma disjunção.
Note que na língua do dia-a-dia, o uso da palavra "OU" pode às vezes significar "qualquer um, mas não ambos". Por exemplo:
- "Você gosta do chá ou do café?"
Quando usado formalmente, "OU" permite que ambas as partes da indicação (suas disjunções) sejam verdadeiras.
A indicação "P ou Q" é escrito na maiora das vezes como:P ∨ Q
Tal disjunção é falsa se P e Q forem falsos. Em todos casos restantes é verdadeiro. Mas geralmente uma disjunção é uma fórmula lógica que possa ter um ou mais literais separados apenas por "OU". Um único literal é considerado como uma disjunção degenerada.
Por exemplo, todas as afirmações abaixo são disjunções:
A ∨ B
¬A ∨ B
A ∨ ¬B ∨ ¬C ∨ D ∨ ¬E
| Entrada1 | Entrada2 | Saída |
|---|---|---|
| VERDADEIRO | VERDADEIRO | VERDADEIRO |
| VERDADEIRO | FALSO | VERDADEIRO |
| FALSO | VERDADEIRO | VERDADEIRO |
| FALSO | FALSO | FALSO |
