Qual é o símbolo para "e" em matemática?
Na lógica nós denotamos `and` por [matemática]{matematemática] (que você pode digitar {e ou {math] em [matemática]{LaTeX[/math], desde que os pacotes certos sejam carregados). Como você pode ver, isso é bem parecido com [matemática]{ /math] pois a interseção de dois conjuntos é definida como:
[matemática]A { /math]A { /cap B = { x : (x \ A) { /math]} { /math]
Isto é o mesmo para `ou` [matemática]{ /math] e [matemática]{ /math] respectivamente:
[matemática]A { /math]A { /cup B = { x : (x \ A) {\ B)}[/math]
[matemática]{ /math] e [matemática]{ /math] são os operadores duplos:
[matemática]|neg(|varphi_1 {\an8}wedge {\an8}varphi_2) {\an8}equiv {\an8}varphi_1 {\an8}vee {\an8}neg}varphi_2[/math]
e vice versa. Estas equivalências são chamadas de leis de Moore. O símbolo [matemática]\i[/math] é derivado da primeira letra da palavra latina vel que significa ou. Como elas são duplas, viramos o símbolo e chegamos a [matemática]\wedge[/math].
No texto normal deve-se escrever `and`. O símbolo é preservado para fórmulas lógicas, que são palavras com algumas restrições sintácticas. Os próprios símbolos também don'não têm o significado, mas a função de avaliação atribui-os a eles. Isso distrairia ou confundiria o leitor e a matemática já é difícil o suficiente.