Conjunção lógica

Parte da série sobre
Matemática
História
Áreas Teoria dos números Geometria Álgebra Cálculo e Análise Matemática discreta Lógica matemática e Teoria dos conjuntos Probabilidade Estatística e Teoria da decisão Relação com as ciências Física Química Computação Biologia Linguística Economia Filosofia Educação
Portal da Matemática

Conjunção ou operador "e" (também chamado pela denominação latina "et" ou pela denominação inglesa "and") é um operador lógico utilizado em lógica matemática. É intimamente relacionado à operação de interseção de conjuntos numéricos. É representada tecnicamente pelo símbolo ∧, em programação por & ou &&.

Definição

A operação de conjunção lógica é relacionada à interseção de conjuntos. Uma ideia tem de ser verdadeira (igual a 1) em ambas as situações (conjuntos) para que o resultado seja verdadeiro. Em outras situações, o resultado será falso (igual a 0).

a	b	a ∧ b
1	1	1
1	0	0
0	1	0
0	0	0

Segue a representação dessa operação no diagrama de Venn.

Definição intuitiva

A operação lógica da conjunção funciona da mesma forma que a conjunção "e". Suponham-se duas frases quaisquer:

"Está chovendo e estou dentro de casa."

Significa que as duas frases são simultaneamente verdadeiras: "está chovendo lá fora" e "eu estou dentro de casa". Passando para uma notação lógica, poderíamos dizer:

$a\equiv est{\acute {a}}\ chovendo\ l{\acute {a}}\ fora$

$b\equiv eu\ estou\ dentro\ de\ casa$

$a\land b\equiv \left(est{\acute {a}}\ chovendo\ l{\acute {a}}\ fora\right)e\left(eu\ estou\ dentro\ de\ casa\right)$

Intuitivamente, pode-se dizer que a frase resultante só será válida se as duas anteriores forem verdadeiras, do contrário, será falsa.

A conjunção é um operador binário, significando que relaciona dois (ou mais) valores. A precedência desse operador é da esquerda para a direita, o que significa que $a\land b\land c$ equivale a $\left(\left(a\land b\right)\land c\right)$.

Propriedades

A conjunção lógica tem algumas propriedades. Destacam-se:

• $a\land b\equiv b\land a$ (comutativa)
• $\left(a\land b\right)\land c\equiv a\land \left(b\land c\right)$ (associativa)
• $a\land b\equiv \neg \left(\neg a\lor \neg b\right)$ (leis de De Morgan)
• $a\land \neg a\equiv 0$
• $a\land 1\equiv a$
• $a\land 0\equiv 0$
• $a\land \left(b\lor a\right)\equiv a$
• $a\land \left(b\lor c\right)\equiv \left(a\land b\right)\lor \left(a\land c\right)$ (distributiva em relação à disjunção lógica)

Ver também

• Disjunção lógica

Ligações externas

• Enciclopédia da matemática (em inglês)