Diferenças entre edições de "Conjunção lógica"

97 bytes adicionados ,  11h19min de 3 de setembro de 2015
+ref
(corrigir mais)
(+ref)
 
A conjunção está intimamente relacionada com a operação de [[interseção]] de conjuntos. É representada tecnicamente pelo símbolo '''∧''', em [[programação]] por '''&''' ou '''&&'''.
Pode ainda ser representado pelo símbolo do produto.<ref>[https://en.wikiversity.org/wiki/Primary_mathematics:Boolean_logic Primary mathematics:Boolean logic]</ref>
 
== Definição ==
 
A conjunção lógica tem diversas propriedades. Destacam-se:
* <math>a \and b \equiv b \and a \quad\ :</math> ([[comutatividade|comutativa]])
* <math>\left( a \and b \right) \and c \equiv a \and \left( b \and c \right)\quad\ :</math> ([[associatividade|associativa]])
* <math>a \and b \equiv \neg \left( \neg a \or \neg b \right)\quad\ :</math> ([[Teoremas de De Morgan|leis de De Morgan]])
* <math>a \and \neg a \equiv 0\quad\ :</math> (Aa contradição é sempre falsa)
* <math>a \and 1 \equiv a\quad\ :</math> (a verdade é o elemento neutro da conjunção)
* <math>a \and 0 \equiv 0\quad\ :</math> (a falsidade é o elemento absorvente da conjunção)
* <math>a \and \left( b \or c \right) \equiv \left( a \and b \right) \or \left( a \and c \right)\quad\ :</math> ([[distributividade|distributiva]] em relação à [[disjunção lógica]])
 
== Ver também ==
54

edições